CNC:LOP98

Yves Ledru, Catherine Oriat, Marie-Laure Potet. Le raffinement vu comme primitive de spécification - une comparaison de VDM, B et Specware. In Actes de l'Atelier AFADL'98, N. Lévy (ed.), Pages 63-76, LISI/ENSMA, Futuroscope, Poitiers, France, September 1998.

Contact

Yves Ledru
Catherine Oriat
Marie-Laure Potet

BibTex Reference

@InProceedings{CNC:LOP98,
   Author = {Ledru, Yves and Oriat, Catherine and Potet, Marie-Laure},
   Title = {{Le raffinement vu comme primitive de spécification - une comparaison de VDM, B et Specware}},
   BookTitle = {Actes de l'Atelier AFADL'98},
   editor = {Lévy, N.},
   Pages = {63--76},
   Address = {LISI/ENSMA, Futuroscope, Poitiers, France},
   Month = {September},
   Year = {1998}
}

EndNote Reference [help]

Get EndNote Reference (.ref)