| Ref | Y/S | Module | Institution | Contact | Topics/Langs/Tools |
|---|---|---|---|---|---|
| TEKS | Techniques of Correct Software Development | Bremen | C. Lüth | ADT , CASL , CSP , FDR , Isabelle , MC | |
| Specification and Verification | T.U. München | T. Nipkow | ATP , FOL , FPT , HOL , Isabelle , SML | ||
| Programming Language Semantics | T.U. München | T. Nipkow | ATP , FS , HL , Isabelle , TT |