@INPROCEEDINGS{APSEC07,
author = {Fernando Brizzolari and Igor Melatti and Enrico Tronci and Giuseppe Della Penna},
title = { Disk Based Software Verification via Bounded Model Checking},
series = {},
booktitle = {Proceedings of 14th Asia-Pacific Software Engineering Conference},
editor = {IEEE Press},
pages = {358--365},
year = {2007},
month = {12},
}