%0 Journal Article %1 journals/csedu/BarnettW94 %A Barnett, Michael %A Windley, Phillip J. %D 1994 %J Computer Science Education %K dblp %N 1 %P 111-122 %T Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors. %U http://dblp.uni-trier.de/db/journals/csedu/csedu5.html#BarnettW94 %V 5

@article{journals/csedu/BarnettW94, added-at = {2015-05-22T00:00:00.000+0200}, author = {Barnett, Michael and Windley, Phillip J.}, biburl = {https://www.bibsonomy.org/bibtex/2212a4a206810fd1ec673c08d67a53227/dblp}, ee = {http://dx.doi.org/10.1080/0899340940050108}, interhash = {b9f31d18f627608ab37782b1827401f2}, intrahash = {212a4a206810fd1ec673c08d67a53227}, journal = {Computer Science Education}, keywords = {dblp}, number = 1, pages = {111-122}, timestamp = {2015-06-17T21:25:06.000+0200}, title = {Dysfunctional Programming: Teaching Programming Using Formal Methods to Noncomputer Science Majors.}, url = {http://dblp.uni-trier.de/db/journals/csedu/csedu5.html#BarnettW94}, volume = 5, year = 1994 }