- CSB - MetaPress - Google - Bing - Yahoo
 | 1997 | |
|---|---|---|
| 1 |      | Alessandro Cimatti, Fausto Giunchiglia, Paolo Pecchiari, Bruno Pietra, Joe Profeta, Dario Romano, Paolo Traverso, Bing Yu: A Provably Correct Embedded Verifier for the Certification of Safety Critical Software. CAV 1997: 202-213 |
| 1 | Alessandro Cimatti | [1] |
| 2 | Fausto Giunchiglia | [1] |
| 3 | Paolo Pecchiari | [1] |
| 4 | Joe Profeta | [1] |
| 5 | Dario Romano | [1] |
| 6 | Paolo Traverso | [1] |
| 7 | Bing Yu | [1] |