%0 Conference Paper %1 conf/birthday/Hoare13a %A Hoare, Tony %B Theories of Programming and Formal Methods %D 2013 %E Liu, Zhiming %E Woodcock, Jim %E Zhu, Huibiao %I Springer %K dblp %P 213-226 %T Generic Models of the Laws of Programming. %U http://dblp.uni-trier.de/db/conf/birthday/he2013.html#Hoare13a %V 8051 %@ 978-3-642-39697-7

@inproceedings{conf/birthday/Hoare13a, added-at = {2017-05-23T00:00:00.000+0200}, author = {Hoare, Tony}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2db0af2e7d8b449d8dabf10ba72ae1399/dblp}, booktitle = {Theories of Programming and Formal Methods}, crossref = {conf/birthday/2013he}, editor = {Liu, Zhiming and Woodcock, Jim and Zhu, Huibiao}, ee = {https://doi.org/10.1007/978-3-642-39698-4_13}, interhash = {161622bbbafd42ab2f1906ed0e82e213}, intrahash = {db0af2e7d8b449d8dabf10ba72ae1399}, isbn = {978-3-642-39697-7}, keywords = {dblp}, pages = {213-226}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T14:05:18.000+0200}, title = {Generic Models of the Laws of Programming.}, url = {http://dblp.uni-trier.de/db/conf/birthday/he2013.html#Hoare13a}, volume = 8051, year = 2013 }