COM:ledru95b

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

Contact

Yves Ledru

Référence BibTex

@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}
}

Référence EndNote [help]

Charger la référence EndNote (.ref)