| |
| 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 | Bruno Pietra | [1] |
| 5 | Dario Romano | [1] |
| 6 | Paolo Traverso | [1] |
| 7 | Bing Yu | [1] |