- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna: Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365 |
| 1 | Igor Melatti | [1] |
| 2 | Giuseppe Della Penna | [1] |
| 3 | Enrico Tronci | [1] |