%0 Conference Paper %1 conf/birthday/Moore99 %A Moore, J Strother %B Correct System Design %D 1999 %E Olderog, Ernst-Rüdiger %E Steffen, Bernhard %I Springer %K dblp %P 139-162 %T Proving Theorems About Java-Like Byte Code. %U http://dblp.uni-trier.de/db/conf/birthday/langmaack1999.html#Moore99 %V 1710 %@ 3-540-66624-9

@inproceedings{conf/birthday/Moore99, added-at = {2018-06-27T00:00:00.000+0200}, author = {Moore, J Strother}, biburl = {https://www.bibsonomy.org/bibtex/2a7aa6cd9e63c9e3e16ce98bc2bd5335f/dblp}, booktitle = {Correct System Design}, crossref = {conf/birthday/1999langmaack}, editor = {Olderog, Ernst-Rüdiger and Steffen, Bernhard}, ee = {https://doi.org/10.1007/3-540-48092-7_7}, interhash = {82a27212a1e518bc00d82d41ce2ce6d4}, intrahash = {a7aa6cd9e63c9e3e16ce98bc2bd5335f}, isbn = {3-540-66624-9}, keywords = {dblp}, pages = {139-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:19:42.000+0200}, title = {Proving Theorems About Java-Like Byte Code.}, url = {http://dblp.uni-trier.de/db/conf/birthday/langmaack1999.html#Moore99}, volume = 1710, year = 1999 }