%0 Conference Paper %1 conf/sefm/Leino05 %A Leino, K. Rustan M. %B SEFM %D 2005 %E Aichernig, Bernhard K. %E Beckert, Bernhard %I IEEE Computer Society %K dblp %P 148-149 %T Invariants on Demand. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#Leino05 %@ 0-7695-2435-4

@inproceedings{conf/sefm/Leino05, added-at = {2023-03-24T00:00:00.000+0100}, author = {Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/2322655c674dca27de779e5340d8cb869/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2005}, editor = {Aichernig, Bernhard K. and Beckert, Bernhard}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2005.25}, interhash = {90dd886c01bb64a2b735de89f9512964}, intrahash = {322655c674dca27de779e5340d8cb869}, isbn = {0-7695-2435-4}, keywords = {dblp}, pages = {148-149}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:21:19.000+0200}, title = {Invariants on Demand.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2005.html#Leino05}, year = 2005 }