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:
CADP
Up:
Survey of Courses per
Previous:
Actress
 
Contents
2004-11-04