Inproceedings,
The eureka tool for software model checking.
A. Armando, M. Benerecetti, D. Carotenuto, J. Mantovani, and P. Spica.ASE, page 541-542. ACM, (2007)
Meta data
- BibTeX key
- conf/kbse/ArmandoBCMS07
- entry type
- inproceedings
- booktitle
- ASE
- year
- 2007
- pages
- 541-542
- publisher
- ACM
- crossref
- conf/kbse/2007
- ee
- https://doi.org/10.1145/1321631.1321734
- isbn
- 978-1-59593-882-4
- url
- http://dblp.uni-trier.de/db/conf/kbse/ase2007.html#ArmandoBCMS07
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kbse/ArmandoBCMS07
%A Armando, Alessandro
%A Benerecetti, Massimo
%A Carotenuto, Dario
%A Mantovani, Jacopo
%A Spica, Pasquale
%B ASE
%D 2007
%E Stirewalt, R. E. Kurt
%E Egyed, Alexander
%E Fischer, Bernd
%I ACM
%K dblp
%P 541-542
%T The eureka tool for software model checking.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2007.html#ArmandoBCMS07
%@ 978-1-59593-882-4
@inproceedings{conf/kbse/ArmandoBCMS07,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Armando, Alessandro and Benerecetti, Massimo and Carotenuto, Dario and Mantovani, Jacopo and Spica, Pasquale},
biburl = {https://www.bibsonomy.org/bibtex/2720b5d982c18d069463ef729eb011876/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2007},
editor = {Stirewalt, R. E. Kurt and Egyed, Alexander and Fischer, Bernd},
ee = {https://doi.org/10.1145/1321631.1321734},
interhash = {8ca346f2523f11dd36849fc42ced67e2},
intrahash = {720b5d982c18d069463ef729eb011876},
isbn = {978-1-59593-882-4},
keywords = {dblp},
pages = {541-542},
publisher = {ACM},
timestamp = {2018-11-07T13:05:08.000+0100},
title = {The eureka tool for software model checking.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2007.html#ArmandoBCMS07},
year = 2007
}