AFADL'2003

Approches Formelles dans l'Assistance au Développement de Logiciels

15-17 janvier 2003

IRISA, Rennes