%0 Conference Paper %1 conf/tacas/MorseRCN014 %A Morse, Jeremy %A Ramalho, Mikhail %A Cordeiro, Lucas C. %A Nicole, Denis A. %A Fischer, Bernd %B TACAS %D 2014 %E Ábrahám, Erika %E Havelund, Klaus %I Springer %K %P 405-407 %T ESBMC 1.22 - (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#MorseRCN014 %V 8413 %@ 978-3-642-54861-1

@inproceedings{conf/tacas/MorseRCN014, added-at = {2023-12-13T01:10:42.000+0100}, author = {Morse, Jeremy and Ramalho, Mikhail and Cordeiro, Lucas C. and Nicole, Denis A. and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2cd4b2b63b89663b69b9007f9a624cc86/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2014}, editor = {Ábrahám, Erika and Havelund, Klaus}, ee = {https://www.wikidata.org/entity/Q57658765}, interhash = {6ddaa839380bf0dcd80a119a919b5332}, intrahash = {cd4b2b63b89663b69b9007f9a624cc86}, isbn = {978-3-642-54861-1}, keywords = {}, pages = {405-407}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:10:42.000+0100}, title = {ESBMC 1.22 - (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2014.html#MorseRCN014}, volume = 8413, year = 2014 }