%0 Conference Paper %1 conf/tap/AhnD10 %A Ahn, Ki Yung %A Denney, Ewen %B TAP@TOOLS %D 2010 %E Fraser, Gordon %E Gargantini, Angelo %I Springer %K %P 22-37 %T Testing First-Order Logic Axioms in Program Verification. %U http://dblp.uni-trier.de/db/conf/tap/tap2010.html#AhnD10 %V 6143 %@ 978-3-642-13976-5

@inproceedings{conf/tap/AhnD10, added-at = {2023-12-12T19:40:49.000+0100}, author = {Ahn, Ki Yung and Denney, Ewen}, biburl = {https://www.bibsonomy.org/bibtex/2f7e5c69b6a1cb04fa04e3f5371a3a4b7/admin}, booktitle = {TAP@TOOLS}, crossref = {conf/tap/2010}, editor = {Fraser, Gordon and Gargantini, Angelo}, ee = {https://doi.org/10.1007/978-3-642-13977-2_4}, interhash = {2468d2fc97e40436181c7ea861b2025a}, intrahash = {f7e5c69b6a1cb04fa04e3f5371a3a4b7}, isbn = {978-3-642-13976-5}, keywords = {}, pages = {22-37}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:40:49.000+0100}, title = {Testing First-Order Logic Axioms in Program Verification.}, url = {http://dblp.uni-trier.de/db/conf/tap/tap2010.html#AhnD10}, volume = 6143, year = 2010 }