%0 Book %1 kourie_correctnessByConstruction_2012 %A Kourie, D.G. %A Watson, B.W. %D 2012 %I Springer %K imported %T The Correctness-By-Construction Approach to Programming %U http://books.google.co.za/books?id=5Ig6ELUQFM4C %@ 9783642279195

@book{kourie_correctnessByConstruction_2012, added-at = {2013-02-28T11:13:35.000+0100}, author = {Kourie, D.G. and Watson, B.W.}, biburl = {https://www.bibsonomy.org/bibtex/28fc43f5f03c3573e3913710416585c49/fritzsolms}, interhash = {884a67e23565ec1c480ff750d684c3f8}, intrahash = {8fc43f5f03c3573e3913710416585c49}, isbn = {9783642279195}, keywords = {imported}, lccn = {2012935686}, publisher = {Springer}, timestamp = {2013-02-28T11:14:20.000+0100}, title = {The Correctness-By-Construction Approach to Programming}, url = {http://books.google.co.za/books?id=5Ig6ELUQFM4C}, year = 2012 }