Type Checking BSI/VDM-SL.

Nico Plat, Ronald Huijsman, Jan van Katwijk, Gertjan van Oosten, Kees Pronk, Hans Toetenel

Browse the full FM paper archive.