A Naive Domain Universe for VDM.

Andrzej Tarlecki, Morten Wieth

Browse the full FM paper archive.