@inproceedings{conf/kbse/ArmandoBCMS07,
title = {The eureka tool for software model checking.},
author = {Alessandro Armando and Massimo Benerecetti and Dario Carotenuto and Jacopo Mantovani and Pasquale Spica},
booktitle = {ASE},
crossref = {conf/kbse/2007},
editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer},
pages = {541-542},
publisher = {ACM},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2007.html#ArmandoBCMS07},
year = {2007},
description = {dblp},
date = {2008-02-07}, ee = {http://doi.acm.org/10.1145/1321631.1321734}, isbn = {978-1-59593-882-4 },
keywords = {dblp }
}
::