LedruLdB10

Yves Ledru, Lydie du Bousquet. De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 117-131, Poitiers, June 2010.

Contact

Yves Ledru

BibTex Reference

@InProceedings{LedruLdB10,
   Author = {Ledru, Yves and du Bousquet, Lydie},
   Title = {{De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet}},
   BookTitle = {Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels},
   Pages = {117--131},
   Address = {Poitiers},
   Month = {June},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)