Travelled to:1 × The Netherlands
Collaborated with:B.S.Hansen F.M.Damm
Talks about:vdm (3) consist (2) approach (1) checker (1) static (1) semant (1) editor (1) relat (1) check (1) type (1)
Person: Hans Bruun
DBLP: Bruun:Hans
Contributed to:
1991Wrote 6 papers:
- VDME-1991-BruunHD #approach #semantics
- An Approach to the Static Semantics of VDM-SL (HB, BSH, FMD), pp. 220–253.
- VDME-1991-DammBH #consistency #editing
- The VDM-SL Editor and Consistency Checker (FMD, HB, BSH), pp. 693–694.
- VDME-1991-DammHB #consistency #on the #type checking
- On Type Checking in VDM and Related Consistency Issues (FMD, BSH, HB), pp. 45–62.