%0 Conference Paper %1 conf/amast/DenneyF08 %A Denney, Ewen %A Fischer, Bernd %B AMAST %D 2008 %E Meseguer, José %E Rosu, Grigore %I Springer %K %P 145-159 %T Explaining Verification Conditions. %U http://dblp.uni-trier.de/db/conf/amast/amast2008.html#DenneyF08 %V 5140 %@ 978-3-540-79979-5

@inproceedings{conf/amast/DenneyF08, added-at = {2023-12-13T08:43:33.000+0100}, author = {Denney, Ewen and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/20e4a1512d8d882e963feff81c5f673ba/admin}, booktitle = {AMAST}, crossref = {conf/amast/2008}, editor = {Meseguer, José and Rosu, Grigore}, ee = {https://www.wikidata.org/entity/Q57658823}, interhash = {c6ab6f1ec38db9575f8987c4b548d562}, intrahash = {0e4a1512d8d882e963feff81c5f673ba}, isbn = {978-3-540-79979-5}, keywords = {}, pages = {145-159}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T08:43:33.000+0100}, title = {Explaining Verification Conditions.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast2008.html#DenneyF08}, volume = 5140, year = 2008 }