%0 Journal Article %1 leavens07specification %A Leavens, Gary %A Leino, K. %A Müller, Peter %D 2007 %I Springer London %J Formal Aspects of Computing %K specification verification survey %P 159-189 %R 10.1007/s00165-007-0026-7 %T Specification and verification challenges for sequential object-oriented programs %V 19

@article{leavens07specification, added-at = {2011-12-16T09:35:15.000+0100}, affiliation = {Iowa State University Dept. of Computer Science 229 Atanasoff Hall Ames IA 50011 USA}, author = {Leavens, Gary and Leino, K. and Müller, Peter}, biburl = {https://www.bibsonomy.org/bibtex/249a2e2b724bb60c7ecaeea323b8638ac/pbrada}, doi = {10.1007/s00165-007-0026-7}, groups = {public}, interhash = {17620b68780763361886a38b1215491e}, intrahash = {49a2e2b724bb60c7ecaeea323b8638ac}, issn = {0934-5043}, issue = {2}, journal = {Formal Aspects of Computing}, keyword = {Computer Science}, keywords = {specification verification survey}, pages = {159-189}, publisher = {Springer London}, timestamp = {2011-12-16T09:35:15.000+0100}, title = {Specification and verification challenges for sequential object-oriented programs}, username = {pbrada}, volume = 19, year = 2007 }