next up previous contents
Next: FM02 Logical Up: Survey of Courses per Previous: Survey of Courses per   Contents

FM01 -- Set-theoretic/topological foundations of Formal Methods

 
Number of courses selected: 8  
Ref Y/S Module Institution Contact Topics/Langs/Tools
3 Theory of Computation Beira-Interior S.M. Sousa Coq , DMat , FP , LamC , Ocaml
MSc Formal Methods Beira-Interior S.M. Sousa B , Coq , DMat , HL , Ocaml , WHY
5/ MSc Inform. Syst. Specification and Modelling Nancy D. Méry B , DMat
G53PAL 3 Programming Algebra Nottingham R. Backhouse AoP , FixP , PolyT
DTS Domain Theory Oxford G.M. Reed PiC , ScTD
SEM M Software Engineering Mathematics Oxford A. Martin DMat , Z
TC 4 Theory of Computation Porto M. Florido DMat , FS , Haskell , LamC , Prolog , TT
Formal methods in informatics Roma A. Labella ASe , FixP , ScTD


next up previous contents
Next: FM02 Logical Up: Survey of Courses per Previous: Survey of Courses per   Contents
2004-11-04