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 |