Bibtex de la publication

@InProceedings{ Za2016.8,
author = {Zalila, Faiez and Crégut, Xavier and Pantel, Marc},
title = "{A DSL to Feedback Formal Verification Results (regular paper)}",
booktitle = "{MODEVVA --> Model-Driven Engineering, Verification and Validation Workshop at the MODELS Conference, Saint Malo, France, 03/10/2016}",
year = {2016},
month = {octobre},
publisher = {CEUR Workshop Proceedings},
address = {http://CEUR-WS.org},
volume = {1713},
pages = {30--39},
language = {anglais},
URL = {http://ceur-ws.org/Vol-1713/MoDeVVa_2016_paper_4.pdf}
}