Towards an Integrated CASE and Theorem Proving Tool for VDM-SL.

Sten Agerholm, Jacob Frost

Browse the full FM paper archive.