Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings /
Includes bibliographical references and index.
| Autori principali: | , , |
|---|---|
| Natura: | |
| Pubblicazione: |
New York : Springer,
2007
|
| Soggetti: | |
| Accesso online: | http://dx.doi.org/10.1007/978-3-540-73368-3 |