%0 Conference Paper %1 conf/esop/LeinoS07 %A Leino, K. Rustan M. %A Schulte, Wolfram %B ESOP %D 2007 %E Nicola, Rocco De %I Springer %K dblp %P 80-94 %T Using History Invariants to Verify Observers. %U http://dblp.uni-trier.de/db/conf/esop/esop2007.html#LeinoS07 %V 4421 %@ 978-3-540-71314-2

@inproceedings{conf/esop/LeinoS07, added-at = {2018-06-26T00:00:00.000+0200}, author = {Leino, K. Rustan M. and Schulte, Wolfram}, biburl = {https://www.bibsonomy.org/bibtex/293b3b73a9bfbfa4500d3f6507e654416/dblp}, booktitle = {ESOP}, crossref = {conf/esop/2007}, editor = {Nicola, Rocco De}, ee = {https://doi.org/10.1007/978-3-540-71316-6_7}, interhash = {e9503836ff6ec09f78439b40f0cbf45f}, intrahash = {93b3b73a9bfbfa4500d3f6507e654416}, isbn = {978-3-540-71314-2}, keywords = {dblp}, pages = {80-94}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:48.000+0200}, title = {Using History Invariants to Verify Observers.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop2007.html#LeinoS07}, volume = 4421, year = 2007 }