%0 Conference Paper %1 conf/sigada/Leino12a %A Leino, K. Rustan M. %B HILT %D 2012 %E Brosgol, Ben %E Boleng, Jeff %E Taft, S. Tucker %I ACM %K dblp %P 25-26 %T Program proving using intermediate verification languages (IVLs) like boogie and why3. %U http://dblp.uni-trier.de/db/conf/sigada/hilt2012.html#Leino12a %@ 978-1-4503-1505-0

@inproceedings{conf/sigada/Leino12a, added-at = {2018-11-06T00:00:00.000+0100}, author = {Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/27eecd23854101da3ad3235725c55549a/dblp}, booktitle = {HILT}, crossref = {conf/sigada/2012}, editor = {Brosgol, Ben and Boleng, Jeff and Taft, S. Tucker}, ee = {https://doi.org/10.1145/2402676.2402689}, interhash = {b8687973d24fad0170b4158614a69bbd}, intrahash = {7eecd23854101da3ad3235725c55549a}, isbn = {978-1-4503-1505-0}, keywords = {dblp}, pages = {25-26}, publisher = {ACM}, timestamp = {2024-04-09T17:43:13.000+0200}, title = {Program proving using intermediate verification languages (IVLs) like boogie and why3.}, url = {http://dblp.uni-trier.de/db/conf/sigada/hilt2012.html#Leino12a}, year = 2012 }