| Original language | English |
|---|---|
| Title of host publication | VDM'90: VDM and Z! |
| Pages | 370-398 |
| Number of pages | 29 |
| Volume | 428 |
| Publication status | Published - 1990 |
Two approaches towards the formalisation of VDM
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution