Experience with VDM in Norsk Data.

Uwe Schmidt, Reinhard Vller

Browse the full FM paper archive.