2 Approaches Towards the Formalization of Vdm

Lafontaine, C.;Ledru, Y.;Schobbens, PY.
(1990) Lecture Notes in Computer Science — Vol. 428, p. 370-398 (1990)

Files

No attached file found for this publication.

Details

Authors
  • Lafontaine, C.
    Author
  • Ledru, Y.
    Author
  • Schobbens, PY.
    Author
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Lafontaine, C., Ledru, Y., & Schobbens, PY. (1990). 2 Approaches Towards the Formalization of Vdm. Lecture Notes in Computer Science, 428, 370-398. https://hdl.handle.net/2078.5/83683 (Original work published 1990)