The VDM Domain Compiler: A VDM Class Library Generator.

Uwe Schmidt, Hans-Martin Hrcher

Browse the full FM paper archive.