| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| 4ICT8 | System Modelling and Specification | Dublin | A. Hughes | Haskell , IVDM , IVDMH , MPC | |
| 4BA1 | Information Systems (part II) | Dublin | M. Airchinnigh | FS , IVDM , MPC | |
| 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 |
| G51MPC | 1 | Mathematics of Program Construction | Nottingham | R. Backhouse | MPC |