next up previous contents
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 up previous contents
Next: ZANS Up: Survey of Courses per Previous: T-Logic   Contents
2004-11-04