User menu

Applying VDM to large developments

Bibliographic reference Ledru, Y. ; Schobbens, P.-Y.. Applying VDM to large developments.International Workshop on Formal Methods in Software Development (Napa, CA, USA, 9-11 May 1990). In: Software Engineering Notes, 1990, p.Vol. 15, p. 55-58
Permanent URL http://hdl.handle.net/2078.1/68314