next up previous contents
Next: FM09 Correct Up: Survey of Courses per Previous: FM07 Multi-paradigm   Contents

FM08 -- Correct by construction

 
Number of courses selected: 6  
Ref Y/S Module Institution Contact Topics/Langs/Tools
SS03 Specification and synthesis of Haskell programs Bremen T. Mossakowski AoP , FP , Haskell
ELINFO 01A00062 1 Formal Methods in Systems Modeling Gent R.T. Boute AoP , FPT
MP-I 2 Programming Methodology I Minho J.N. Oliveira AoP , FP , GHC , Haskell , Hugs
MFP-I 4 Formal Methods I Minho J.N. Oliveira AoP , FPT , MPC , VDMSL , VDMT
MFP-II 4 Formal Methods II Minho J.N. Oliveira AoP , DRef , MPC , VDMSL , VDMT , VPP
G53PAL 3 Programming Algebra Nottingham R. Backhouse AoP , FixP , PolyT


next up previous contents
Next: FM09 Correct Up: Survey of Courses per Previous: FM07 Multi-paradigm   Contents
2004-11-04