Next:
ZANS
Up:
Survey of Courses per
Previous:
T-Logic
 
Contents
WHY
Number of courses selected: 1
Ref
Y/S
Module
Institution
Contact
Topics/Langs/Tools
MSc
Formal Methods
Beira-Interior
S.M. Sousa
B
,
Coq
,
DMat
,
HL
,
Ocaml
,
WHY
Next:
ZANS
Up:
Survey of Courses per
Previous:
T-Logic
 
Contents
2004-11-04