next up previous contents
Next: JML Up: Survey of Courses per Previous: Estelle   Contents

FSP

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