%0 Conference Paper %1 conf/tacas/MyreenG07 %A Myreen, Magnus O. %A Gordon, Michael J. C. %B TACAS %D 2007 %E Grumberg, Orna %E Huth, Michael %I Springer %K dblp %P 568-582 %T Hoare Logic for Realistically Modelled Machine Code. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#MyreenG07 %V 4424 %@ 978-3-540-71208-4

@inproceedings{conf/tacas/MyreenG07, added-at = {2018-06-26T00:00:00.000+0200}, author = {Myreen, Magnus O. and Gordon, Michael J. C.}, biburl = {https://www.bibsonomy.org/bibtex/2541d12c8100136160cb58c95c1c48aa3/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2007}, editor = {Grumberg, Orna and Huth, Michael}, ee = {https://doi.org/10.1007/978-3-540-71209-1_44}, interhash = {2bed6ef1e8480b4374d75113124193b4}, intrahash = {541d12c8100136160cb58c95c1c48aa3}, isbn = {978-3-540-71208-4}, keywords = {dblp}, pages = {568-582}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:22.000+0200}, title = {Hoare Logic for Realistically Modelled Machine Code.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#MyreenG07}, volume = 4424, year = 2007 }