next up previous contents
Next: WHY Up: Survey of Courses per Previous: RML   Contents

T-Logic

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
Program Quality Verification Bologna C. Laneve AbsI , TT , TrL
next up previous contents
Next: WHY Up: Survey of Courses per Previous: RML   Contents
2004-11-04