%0 Journal Article %1 journals/fac/LeavensLM07 %A Leavens, Gary T. %A Leino, K. Rustan M. %A Müller, Peter %D 2007 %J Formal Aspects Comput. %K dblp %N 2 %P 159-189 %T Specification and verification challenges for sequential object-oriented programs. %U http://dblp.uni-trier.de/db/journals/fac/fac19.html#LeavensLM07 %V 19

@article{journals/fac/LeavensLM07, added-at = {2022-05-09T00:00:00.000+0200}, author = {Leavens, Gary T. and Leino, K. Rustan M. and Müller, Peter}, biburl = {https://www.bibsonomy.org/bibtex/28b8726f261e79c3f22e53567d7aa1baa/dblp}, ee = {https://doi.org/10.1007/s00165-007-0026-7}, interhash = {17620b68780763361886a38b1215491e}, intrahash = {8b8726f261e79c3f22e53567d7aa1baa}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 2, pages = {159-189}, timestamp = {2024-04-09T05:38:09.000+0200}, title = {Specification and verification challenges for sequential object-oriented programs.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac19.html#LeavensLM07}, volume = 19, year = 2007 }