Publications de
David Gianazza, F. Girard, M. Lemoine, D. Marre, F. Preux, J.L. Wippler
Validation d’un système critique par rétro-conception formelle
Dans : Génie logiciel, GL & IS, Meudon – France, Numéro spécial Congrès Le Génie Logiciel & ses Applications. Journées internationales N°10, Paris, FRANCE, Vol. ISSN 1265-1397 N. 46, p. 118-122, décembre 1997.