COM:ledru95b

Y. Ledru. Développement prouvé de prototypes de spécifications avec KIDS/VDM. Journée groupe ADER, Paris, 1995.

Contact

Yves Ledru

BibTex Reference

@Misc{COM:ledru95b,
   Author = {Ledru, Y.},
   Title = {{Développement prouvé de prototypes de spécifications avec KIDS/VDM}},
   BookTitle = {Journée groupe ADER},
   Address = {Paris},
   Year = {1995}
}

EndNote Reference [help]

Get EndNote Reference (.ref)