Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica
The eureka tool for software model checking
ASE, 2007.
@inproceedings{ASE-2007-ArmandoBCMS,
author = "Alessandro Armando and Massimo Benerecetti and Dario Carotenuto and Jacopo Mantovani and Pasquale Spica",
booktitle = "{Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering}",
doi = "10.1145/1321631.1321734",
isbn = "978-1-59593-882-4",
pages = "541--542",
publisher = "{ACM}",
title = "{The eureka tool for software model checking}",
year = 2007,
}