next up previous contents
Next: CADP Up: Survey of Courses per Previous: Actress   Contents

BBDC

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
Logics and Verification Paris VII P. Habermehl BDD , BDDC , MC , TL

next up previous contents
Next: CADP Up: Survey of Courses per Previous: Actress   Contents
2004-11-04