@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},
}