@ARTICLE{Armando2007541,
author={Armando, A., Benerecetti, M., Carotenuto, D., Mantovani, J., Spica, P.},
title={The eureka tool for software model checking},
journal={ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering},
year={2007},
pages={541-542},
doi={10.1145/1321631.1321734},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-77954022243&partnerID=40&md5=1254fcd628c734df6bad503a670ded30},
document_type={Conference Paper},
source={Scopus},
}

{"_id":"tvMnMT4M7NpJoK3sM","bibbaseid":"armando-benerecetti-carotenuto-mantovani-spica-theeurekatoolforsoftwaremodelchecking-2007","downloads":0,"creationDate":"2016-08-26T09:24:47.382Z","title":"The eureka tool for software model checking","author_short":["Armando, A.","Benerecetti, M.","Carotenuto, D.","Mantovani, J.","Spica, P."],"year":2007,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/1703583/BiblioLab.bib","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Armando"],"firstnames":["A."],"suffixes":[]},{"propositions":[],"lastnames":["Benerecetti"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Carotenuto"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Mantovani"],"firstnames":["J."],"suffixes":[]},{"propositions":[],"lastnames":["Spica"],"firstnames":["P."],"suffixes":[]}],"title":"The eureka tool for software model checking","journal":"ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering","year":"2007","pages":"541-542","doi":"10.1145/1321631.1321734","url":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-77954022243&partnerID=40&md5=1254fcd628c734df6bad503a670ded30","document_type":"Conference Paper","source":"Scopus","bibtex":"@ARTICLE{Armando2007541,\nauthor={Armando, A., Benerecetti, M., Carotenuto, D., Mantovani, J., Spica, P.},\ntitle={The eureka tool for software model checking},\njournal={ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering},\nyear={2007},\npages={541-542},\ndoi={10.1145/1321631.1321734},\nurl={https://www.scopus.com/inward/record.uri?eid=2-s2.0-77954022243&partnerID=40&md5=1254fcd628c734df6bad503a670ded30},\ndocument_type={Conference Paper},\nsource={Scopus},\n}\n\n","author_short":["Armando, A.","Benerecetti, M.","Carotenuto, D.","Mantovani, J.","Spica, P."],"key":"Armando2007541","id":"Armando2007541","bibbaseid":"armando-benerecetti-carotenuto-mantovani-spica-theeurekatoolforsoftwaremodelchecking-2007","role":"author","urls":{"Paper":"https://www.scopus.com/inward/record.uri?eid=2-s2.0-77954022243&partnerID=40&md5=1254fcd628c734df6bad503a670ded30"},"downloads":0},"search_terms":["eureka","tool","software","model","checking","armando","benerecetti","carotenuto","mantovani","spica"],"keywords":["dblp","eureka","software model checking","smt"],"authorIDs":["57c00ade5abfdd4d540000c7"],"dataSources":["EQov9rEvkmMf5P4ah"]}