<?xml version="1.0"?>
<dblp>
<inproceedings key="conf/icfem/BouquetLUV04" mdate="2011-08-08">
<author>Fabrice Bouquet</author>
<author>Bruno Legeard</author>
<author>Mark Utting</author>
<author>Nicolas Vacelet</author>
<title>Faster Analysis of Formal Specifications.</title>
<pages>239-258</pages>
<ee>http://dx.doi.org/10.1007/978-3-540-30482-1_24</ee>
<year>2004</year>
<crossref>conf/icfem/2004</crossref>
<booktitle>ICFEM</booktitle>
<url>db/conf/icfem/icfem2004.html#BouquetLUV04</url>
</inproceedings>
</dblp>
