User menu

2 Approaches Towards the Formalization of Vdm

Bibliographic reference Lafontaine, C. ; Ledru, Y. ; Schobbens, PY.. 2 Approaches Towards the Formalization of Vdm. In: Lecture Notes in Computer Science, Vol. 428, p. 370-398 (1990)
Permanent URL http://hdl.handle.net/2078.1/51765