@inproceedings{TAP-2018-BlatterKGPP,
	author        = "Lionel Blatter and Nikolai Kosmatov and Pascale Le Gall and Virgile Prevosto and Guillaume Petiot",
	booktitle     = "{Proceedings of the 12th International Conference on Tests and Proofs}",
	doi           = "10.1007/978-3-319-92994-1_3",
	isbn          = "['978-3-319-92993-4', '978-3-319-92994-1']",
	pages         = "44--62",
	publisher     = "{Springer}",
	title         = "{Static and Dynamic Verification of Relational Properties on Self-composed C Code}",
	year          = 2018,
}