%0 Conference Paper %1 conf/cade/BenzmullerS10 %A Benzmüller, Christoph %A Schiller, Marvin R. G. %B EMSQMS@IJCAR %D 2010 %E Stump, Aaron %E Sutcliffe, Geoff %E Tinelli, Cesare %I EasyChair %K %P 39-40 %T Adaptive Assertion-Level Proofs. %U http://dblp.uni-trier.de/db/conf/cade/emsqms2010.html#BenzmullerS10 %V 6

@inproceedings{conf/cade/BenzmullerS10, added-at = {2023-12-14T14:26:52.000+0100}, author = {Benzmüller, Christoph and Schiller, Marvin R. G.}, biburl = {https://www.bibsonomy.org/bibtex/22f773e647485be83af884af42ac1d9ac/admin}, booktitle = {EMSQMS@IJCAR}, crossref = {conf/cade/2010emsqms}, editor = {Stump, Aaron and Sutcliffe, Geoff and Tinelli, Cesare}, ee = {https://easychair.org/publications/paper/XhNl}, interhash = {dfb457bcf972fc29de5a710382ab622f}, intrahash = {2f773e647485be83af884af42ac1d9ac}, keywords = {}, pages = {39-40}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-14T14:26:52.000+0100}, title = {Adaptive Assertion-Level Proofs.}, url = {http://dblp.uni-trier.de/db/conf/cade/emsqms2010.html#BenzmullerS10}, volume = 6, year = 2010 }