Bibtex de la publication

@Proceedings{ FiMiSe2009.1,
editor = {Filali, Mamoun and Michel, Pierre and Seguin, C.},
title = "{AFADL: Approches formelles dans l'assistance au développement de logiciels, Toulouse, 26/01/2009 - 28/01/2009}",
year = {2009},
month = {janvier},
publisher = {IRIT Press},
address = {http://www.irit.fr},
language = {français},
number = {ISBN: 978-2-917490-05-1}
}