%0 Journal Article %1 journals/jeric/DrachovaHHKPS15 %A Drachova, Svetlana V. %A Hallstrom, Jason O. %A Hollingsworth, Joseph E. %A Krone, Joan %A Pak, Richard %A Sitaraman, Murali %D 2015 %J TOCE %K dblp %N 3 %P 15:1-15:22 %T Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment. %U http://dblp.uni-trier.de/db/journals/jeric/toce15.html#DrachovaHHKPS15 %V 15

@article{journals/jeric/DrachovaHHKPS15, added-at = {2016-12-19T00:00:00.000+0100}, author = {Drachova, Svetlana V. and Hallstrom, Jason O. and Hollingsworth, Joseph E. and Krone, Joan and Pak, Richard and Sitaraman, Murali}, biburl = {https://www.bibsonomy.org/bibtex/23d8ce6303e377381d3beebe038528690/dblp}, ee = {http://doi.acm.org/10.1145/2716316}, interhash = {565e98077f383bdf022be26c22427fa3}, intrahash = {3d8ce6303e377381d3beebe038528690}, journal = {TOCE}, keywords = {dblp}, number = 3, pages = {15:1-15:22}, timestamp = {2016-12-20T11:35:54.000+0100}, title = {Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.}, url = {http://dblp.uni-trier.de/db/journals/jeric/toce15.html#DrachovaHHKPS15}, volume = 15, year = 2015 }