next up previous contents
Next: E-LOTOS Up: Survey of Courses per Previous: SDL   Contents

VDM++

 
Number of courses selected: 2  
Ref Y/S Module Institution Contact Topics/Langs/Tools
MFP-II 4 Formal Methods II Minho J.N. Oliveira AoP , DRef , MPC , VDMSL , VDMT , VPP
LAB-MF 5 Formal Methods Laboratory Minho J.N. Oliveira Alloy , B , VDMT , VPP
next up previous contents
Next: E-LOTOS Up: Survey of Courses per Previous: SDL   Contents
2004-11-04