%0 Conference Paper %1 conf/esop/LeinoM06 %A Leino, K. Rustan M. %A Müller, Peter %B ESOP %D 2006 %E Sestoft, Peter %I Springer %K dblp %P 115-130 %T A Verification Methodology for Model Fields. %U http://dblp.uni-trier.de/db/conf/esop/esop2006.html#LeinoM06 %V 3924 %@ 3-540-33095-X

@inproceedings{conf/esop/LeinoM06, added-at = {2018-06-26T00:00:00.000+0200}, author = {Leino, K. Rustan M. and Müller, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2fc0093b985e42c1a9f505ab8d041cb06/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2006}, editor = {Sestoft, Peter}, ee = {https://doi.org/10.1007/11693024_9}, interhash = {9cb8da7d7740831b6c4fcfd9a0119744}, intrahash = {fc0093b985e42c1a9f505ab8d041cb06}, isbn = {3-540-33095-X}, keywords = {dblp}, pages = {115-130}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:48.000+0200}, title = {A Verification Methodology for Model Fields.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2006.html#LeinoM06}, volume = 3924, year = 2006 }