Gertjan van Oosten

Publication Activity (10 Years)

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

Publications

Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel
Type Checking BSI/VDM-SL. VDM Europe (1990)