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:
E-LOTOS
Up:
Survey of Courses per
Previous:
SDL
 
Contents
2004-11-04