Actes de l'atelier Approches Formelles dans l'Assistance au Développement des Logiciels (AFADL'2000). Y. Ledru (ed.), IMAG, Grenoble, January 2000.
@Book{B:ledru00a,
Title = {Actes de l'atelier {Approches Formelles dans l'Assistance au Développement des Logiciels (AFADL'2000)}},
editor = {Ledru, Y.},
Publisher = {IMAG},
Address = {Grenoble},
Month = {January},
Year = {2000}
}
Get EndNote Reference (.ref)