Bibtex de la publication

@InProceedings{ WaDiFeJoPaGa2012.1,
author = {Wang, Timothy and Dieumegard, Arnaud and Feron, Eric and Jobredeaux, Romain and Pantel, Marc and Garoche, Pierre-Loïc},
title = "{Autocoding of Computer-controlled Systems with Control Semantics for Formal Verification (regular paper)}",
booktitle = "{Safe and Secure Systems and Software Symposium (S5), Fairborn, Ohio, USA, 12/06/2012-14/06/2012}",
year = {2012},
publisher = {UNKNOWN},
pages = {0--0},
language = {anglais}
}