Counterpoint: Towards a Proof-Support Tool for VDM Ken Pierce School of Computing Science, Newcastle University, Newcastle upon Tyne, NE1 7RU, United Kingdom.

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 197,09 KB