Kees Pronk

Publication Activity (10 Years)

Years Active: 1990-1991
Publications (10 Years): 0

Publications

Nico Plat, Jan van Katwijk, Kees Pronk
A Case for Structured Analysis/Formal Design. VDM Europe (1) (1991)
Nico Plat, Kees Pronk, Marcel Verhoef
The Delft VDM-SL Front-End. VDM Europe (1) (1991)
Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
Type Checking BSI/VDM-SL. VDM Europe (1990)