| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| 475 | Software Engineering Environments | Imperial C. | M. Huth | Alloy , FPT | |
| 302 | Software Engineering - Methods | Imperial C. | M. Huth | Alloy , FPT | |
| LAB-MF | 5 | Formal Methods Laboratory | Minho | J.N. Oliveira | Alloy , B , VDMT , VPP |