Home | << 1 >> |
Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
---|---|---|---|---|---|---|---|---|---|
Brizzolari, Francesco; Melatti, Igor; Tronci, Enrico; Della Penna, Giuseppe | Disk Based Software Verification via Bounded Model Checking | 2007 | APSEC '07: Proceedings of the 14th Asia-Pacific Software Engineering Conference | IEEE Computer Society | 0-7695-3057-5 | 10.1109/APSEC.2007.43 | 358-365 |