| 1997 | ||
|---|---|---|
| c1 | 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 | |
| 2 | Fausto Giunchiglia | |
| 3 | Paolo Pecchiari | |
| 4 | Joe Profeta | |
| 5 | Dario Romano | |
| 6 | Paolo Traverso | |
| 7 | Bing Yu |
Data released under the ODC-BY 1.0 license — See also our legal information page