Media Summary: Do you want to write code you can be confident in, and test your programs thoroughly?
Mes3033 Formal Methods Group C - Detailed Analysis & Overview
Do you want to write code you can be confident in, and test your programs thoroughly?
MES3033 Formal Methods Group C
VDM SL and VDM++.