@inproceedings{AHHKLLP13,
	author = {André, Étienne and Hillah, Lom-Messan and Hulin-Hubard, Francis and Kordon, Fabrice and Lembachar, Yousra and Linard, Alban and Petrucci, Laure},
	booktitle = {18th IEEE International Conference on Engineering of Complex Computer Systems ({ICECCS}'13)},
  	editor = {Liu, Yang and Martin, Andrew},
	location = {Singapore},
	month = jul,
	pages     = {33-36},
	publisher = {IEEE Computer Society},
	title = {{CosyVerif}: An Open Source Extensible Verification Environment},
	year = {2013},
}