next up previous contents
Next: IVDM Library Up: Survey of Courses per Previous: HOL   Contents

Integrated Net Analyzer

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
ELP-III 3 Programming Logics III Minho J.M. Valença INA , MC , NuSMV , PEP , Petri

next up previous contents
Next: IVDM Library Up: Survey of Courses per Previous: HOL   Contents
2004-11-04