Combining Transformation and Posit-and Prove in a VDM Development.

Tim Clement

Browse the full FM paper archive.