| Original language | English |
|---|---|
| Qualification | Doctor of Philosophy |
| Awarding Institution |
|
| Award date | 1 Jan 1990 |
| Place of Publication | Amsterdam |
| Publisher | |
| Publication status | Published - 1990 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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)