Bibtex de la publication

@InProceedings{ ToDiPa2012.1,
author = {Toom, Andres and Dieumegard, Arnaud and Pantel, Marc},
title = "{Specification and Validation of Model Transformations for Certified Systems Development (regular paper)}",
booktitle = "{Formalisation des Activit├ęs Concurrentes (FAC), Toulouse, France, 04/04/2012-05/04/2012}",
year = {2012},
month = {avril},
publisher = {IRIT},
address = {http://www.irit.fr/},
pages = {(on line)},
language = {anglais},
URL = {http://seminaire-verif.enseeiht.fr/FAC/2012/Papiers/I-6.pdf},
note = {}
}