The VDM-SL Editor and Consistency Checker.

Flemming M. Damm, Hans Bruun, Bo Stig Hansen

Browse the full FM paper archive.