%0 Conference Paper %1 conf/tacas/Leino07 %A Leino, K. Rustan M. %B TACAS %D 2007 %E Grumberg, Orna %E Huth, Michael %I Springer %K dblp %P 2 %T Verifying Object-Oriented Software: Lessons and Challenges. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#Leino07 %V 4424 %@ 978-3-540-71208-4

@inproceedings{conf/tacas/Leino07, added-at = {2018-06-26T00:00:00.000+0200}, author = {Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/22c92ebae1725a9be197d829ec9fa09a4/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2007}, editor = {Grumberg, Orna and Huth, Michael}, ee = {https://doi.org/10.1007/978-3-540-71209-1_2}, interhash = {3d4bf2a68ba79ebd0042451c1f5da90a}, intrahash = {2c92ebae1725a9be197d829ec9fa09a4}, isbn = {978-3-540-71208-4}, keywords = {dblp}, pages = 2, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:22.000+0200}, title = {Verifying Object-Oriented Software: Lessons and Challenges.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2007.html#Leino07}, volume = 4424, year = 2007 }