A:ledru95a

Y. Ledru. Proof-based development of specifications with KIDS/VDM. Séminaire du Département d'Informatique, Ecole Polytechnique de Lausanne, Suisse, 1995.

Contact

Yves Ledru

Référence BibTex

@Misc{A:ledru95a,
   Author = {Ledru, Y.},
   Title = {{Proof-based development of specifications with KIDS/VDM}},
   BookTitle = {Séminaire du Département d'Informatique},
   Address = {Ecole Polytechnique de Lausanne, Suisse},
   Year = {1995}
}

Référence EndNote [help]

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