Bibtex de la publication

@Unpublished{ BoFiLe2000.1,
author = {Bodeveix, Jean-Paul and Filali, Mamoun and Le Berre, Daniel},
title = "{Expression de méthodes de validation. Transformation en logique propositionnelle ou monadique (Journées de VERIFICATION FORMELLE , ORLEANS, 08/06/2000-09/06/2000)}",
year = {2000},
month = {juin},
URL = {http://www.univ-orleans.fr/SCIENCES/LIFO/Manifestations/Jo-VERIF/}
}