Programming with VDM Domains.

Uwe Schmidt, Hans-Martin Hrcher

Browse the full FM paper archive.