Disk Based Software Verification via Bounded Model Checking.

Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna

Browse the full APSEC paper archive.