The eureka tool for software model checking
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Alessandro Armando, Massimo Benerecetti, Dario Carotenuto, Jacopo Mantovani, Pasquale Spica
The eureka tool for software model checking
ASE, 2007.

ASE 2007
Full names Links ISxN
	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,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.