@inproceedings{FM-2016-AbdullaAD,
	author        = "Parosh Aziz Abdulla and Mohamed Faouzi Atig and Bui Phi Diep",
	booktitle     = "{Proceedings of the 21st International Symposium of Formal Methods}",
	doi           = "10.1007/978-3-319-48989-6_2",
	isbn          = "978-3-319-48988-9",
	pages         = "25--42",
	title         = "{Counter-Example Guided Program Verification}",
	year          = 2016,
}