Travelled to:1 × USA
Collaborated with:O.N.Oest
Talks about:develop (1) specif (1) formal (1) compil (1) studi (1) case (1) vdm (1) ada (1)
Person: G. B. Clemmensen
DBLP: Clemmensen:G=_B=
Contributed to:
1984Wrote 1 papers:
- ICSE-1984-ClemmensenO #ada #case study #compilation #development #specification
- Formal Specification and Development of an Ada Compiler — A VDM Case Study (GBC, ONO), pp. 430–440.