CIC:LPR99

Yves Ledru, Marie-Laure Potet, Rémy Sanlaville. VDM modules. In Workshop VDM in Practice, at FM'99 World Congress on Formal Methods, FM'99 CD-ROM, 1999.

Contact

Yves Ledru
Marie-Laure Potet

BibTex Reference

@InProceedings{CIC:LPR99,
   Author = {Ledru, Yves and Potet, Marie-Laure and Sanlaville, Rémy},
   Title = {{VDM modules}},
   BookTitle = {Workshop VDM in Practice, at FM'99 World Congress on Formal Methods},
   Publisher = {Springer Verlag},
   Address = {FM'99 CD-ROM},
   Year = {1999}
}

EndNote Reference [help]

Get EndNote Reference (.ref)