%0 Conference Paper %1 conf/paste/BarnettL05 %A Barnett, Michael %A Leino, K. Rustan M. %B PASTE %D 2005 %E Ernst, Michael D. %E Jensen, Thomas P. %I ACM %K dblp %P 82-87 %T Weakest-precondition of unstructured programs. %U http://dblp.uni-trier.de/db/conf/paste/paste2005.html#BarnettL05 %@ 1-59593-239-9

@inproceedings{conf/paste/BarnettL05, added-at = {2018-11-06T00:00:00.000+0100}, author = {Barnett, Michael and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/238478a4e92ea5f51504664b7e8843548/dblp}, booktitle = {PASTE}, crossref = {conf/paste/2005}, editor = {Ernst, Michael D. and Jensen, Thomas P.}, ee = {https://doi.org/10.1145/1108792.1108813}, interhash = {664cf0ee5610c283eac26ffc269f3d1a}, intrahash = {38478a4e92ea5f51504664b7e8843548}, isbn = {1-59593-239-9}, keywords = {dblp}, pages = {82-87}, publisher = {ACM}, timestamp = {2018-11-07T14:45:11.000+0100}, title = {Weakest-precondition of unstructured programs.}, url = {http://dblp.uni-trier.de/db/conf/paste/paste2005.html#BarnettL05}, year = 2005 }