Bibtex de la publication

@InProceedings{ FiPaQu1998.1,
author = {Filali, Mamoun and Padiou, Gérard and Quéinnec, Philippe},
title = "{Développement d'une spécification formelle en UNITY -- Analyse d'un système de contrôle d'accès}",
booktitle = "{AFADL98 Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, }",
year = {1998},
month = {septembre},
pages = {109--120},
note = { Dates de conférence : septembre 1998 1998.}
}