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

LTSA

 
Number of courses selected: 1  
Ref Y/S Module Institution Contact Topics/Langs/Tools
213520 Formal Methods for Software Engineering Twente E. Brinksma FSP , LTSA , PA , SDL , Z , ZEVES
next up previous contents
Next: LOTREC Up: Survey of Courses per Previous: IVDM Library   Contents
2004-11-04