next up previous contents
Next: Hugs Up: Survey of Courses per Previous: Atelier-B   Contents

CWB

 
Number of courses selected: 2  
Ref Y/S Module Institution Contact Topics/Langs/Tools
F01-Dat4 Semantics and Verification 2002 Aalborg A. Ingólfsdóttir BDD , CCS , CWB , PA , UPPAAL
MP-IV 3 Programming Method. IV (Concurrency) Minho L.S. Barbosa CCS , CWB , PA , PiC , PicT

next up previous contents
Next: Hugs Up: Survey of Courses per Previous: Atelier-B   Contents
2004-11-04