%0 Conference Paper %1 conf/fmics/JacksonSW13 %A Jackson, Paul B. %A Schanda, Florian %A Wallenburg, Angela %B FMICS %D 2013 %E Pecheur, Charles %E Dierkes, Michael %I Springer %K dblp %P 154-168 %T Auditing User-Provided Axioms in Software Verification Conditions. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2013.html#JacksonSW13 %V 8187 %@ 978-3-642-41009-3

@inproceedings{conf/fmics/JacksonSW13, added-at = {2016-07-24T00:00:00.000+0200}, author = {Jackson, Paul B. and Schanda, Florian and Wallenburg, Angela}, biburl = {https://www.bibsonomy.org/bibtex/22a954c5a5dc3373fba3df4380213a2a8/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2013}, editor = {Pecheur, Charles and Dierkes, Michael}, ee = {http://dx.doi.org/10.1007/978-3-642-41010-9_11}, interhash = {9466346125841aadbaf08722fb336f57}, intrahash = {2a954c5a5dc3373fba3df4380213a2a8}, isbn = {978-3-642-41009-3}, keywords = {dblp}, pages = {154-168}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-07-26T11:37:43.000+0200}, title = {Auditing User-Provided Axioms in Software Verification Conditions.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2013.html#JacksonSW13}, volume = 8187, year = 2013 }