| Original language | English |
|---|---|
| Qualification | Doctor of Philosophy |
| Awarding Institution |
|
| Award date | 1 Jan 1990 |
| Place of Publication | Amsterdam |
| Publisher | |
| Publication status | Published - 1990 |
Syntax and semantics of VVSL : a language for structured VDM specifications
C.A. Middelburg
Research output: Thesis › Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)