@inproceedings{DBLP:conf/icfem/ArmandoCM04,
author = {Alessandro Armando and
Claudio Castellini and
Jacopo Mantovani},
title = {Software Model Checking Using Linear Constraints},
booktitle = {ICFEM},
year = {2004},
pages = {209-223},
ee = {http://dx.doi.org/10.1007/978-3-540-30482-1_22},
crossref = {DBLP:conf/icfem/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/icfem/2004,
editor = {Jim Davies and
Wolfram Schulte and
Michael Barnett},
title = {Formal Methods and Software Engineering, 6th International
Conference on Formal Engineering Methods, ICFEM 2004, Seattle,
WA, USA, November 8-12, 2004, Proceedings},
booktitle = {ICFEM},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3308},
year = {2004},
isbn = {3-540-23841-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
