%0 Conference Paper %1 conf/isola/RajamaniR04 %A Rajamani, Sriram K. %A Rehof, Jakob %B ISoLA %D 2004 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 181-196 %T Models for Contract Conformance. %U http://dblp.uni-trier.de/db/conf/isola/isola2004.html#RajamaniR04 %V 4313 %@ 3-540-48928-2

@inproceedings{conf/isola/RajamaniR04, added-at = {2017-05-23T00:00:00.000+0200}, author = {Rajamani, Sriram K. and Rehof, Jakob}, biburl = {https://www.bibsonomy.org/bibtex/29dad592acbe75db62d45970e6a10d7f8/dblp}, booktitle = {ISoLA}, crossref = {conf/isola/2004}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/11925040_12}, interhash = {802ed6c6c1035521acf84e6e3ad0157b}, intrahash = {9dad592acbe75db62d45970e6a10d7f8}, isbn = {3-540-48928-2}, keywords = {dblp}, pages = {181-196}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:50:15.000+0200}, title = {Models for Contract Conformance.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2004.html#RajamaniR04}, volume = 4313, year = 2004 }