Travelled to:1 × The Netherlands
Collaborated with:K.Pronk J.v.Katwijk M.Verhoef R.Huijsman G.v.Oosten H.Toetenel
Talks about:vdm (2) structur (1) analysi (1) formal (1) design (1) front (1) delft (1) check (1) type (1) case (1)
Person: Nico Plat
DBLP: Plat:Nico
Contributed to:
19901991Wrote 5 papers:
- VDME-1990-PlatHKOPT #type checking
- Type Checking BSI/VDM-SL (NP, RH, JvK, GvO, KP, HT), pp. 399–425.
- VDME-1991-PlatKP #analysis #design
- A Case for Structured Analysis/Formal Design (NP, JvK, KP), pp. 81–105.
- VDME-1991-PlatPV
- The Delft VDM-SL Front-End (NP, KP, MV), pp. 677–680.