DOA-01:vasco-12

Y. Ledru, M.-L. Potet. Numéro spécial - Approches formelles pour l'aide au développement de logiciels. Volume 20(7), Technique et Science Informatiques, 2001.

Contact

Yves Ledru
Marie-Laure Potet

BibTex Reference

@Book{DOA-01:vasco-12,
   Author = {Ledru, Y. and Potet, M.-L.},
   Title = {{Numéro spécial - Approches formelles pour l'aide au développement de logiciels}},
   Publisher = {Volume 20(7), Technique et Science Informatiques},
   Year = {2001}
}

EndNote Reference [help]

Get EndNote Reference (.ref)