| 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 | |
| Algebraic Specification | Bremen | L. Schröder | ADT , CASL | ||
| FSDPT | Formal Specification of Data and Process Types | T.U. Dresden | Horst Reichel | ADT , CASL , PA | |
| Formal Methods | Lausanne | D. Buchs | ADT | ||
| Foundations of Systems Development | L-M-U München | M. Wirsing | ADT , CASL , FPT , LTL , MC , SPIN , TLA , Z | ||
| CS126 | 1 | Design of Information Structures | Warwick | S. Russ | ADT |