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
|
IFM-CA
|
MSc 1-2
|
Formal Methods Integration
|
Nantes
|
J.C. Attiogbé
|
B
,
CCS
,
CSP
,
MPS
,
PA
|
|
|
Specification of Reactive Systems
|
Oldenburg
|
H. Wehrheim
|
CSP
,
FDR
,
SPIN
|
CDS
|
M
|
Concurrency and Distributed Systems
|
Oxford
|
J. Davies
|
CSP
,
FDR
|
ACT
|
M
|
Advanced Concurrency Tools
|
Oxford
|
J. Davies
|
CSP
,
FDR
|
CS L3
|
S2
|
Systems and Software Engineering
|
London (S.B.)
|
A. Abdallah
|
CSP
,
Haskell
,
Z
|