Conformity Clause for VDM-SL.

Graeme I. P. Parkin, Brian A. Wichmann

Browse the full FM paper archive.