| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| MSF-CA | MSc | Model-Oriented Formal Methods | Nantes | J.C. Attiogbé | AtelierB , B , Z , ZANS , ZEVES , ZTC |
| CM140 | 1 | Introduction to Formal Methods | Southampton | M.J. Butler | PV , Z , ZTC |
| EL208 | 2 | Z Specification Design Exercise | Southampton | M.J. Butler | Z , ZTC |