next up previous contents
Next: SDL Up: Survey of Courses per Previous: Prolog   Contents

RSL

 
Number of courses selected: 2  
Ref Y/S Module Institution Contact Topics/Langs/Tools
02262 S4-S7 Formal Aspects of Software Engineering I Lyngby A. Haxthausen RAISEtools , RSL
02268 S7-S9 Formal Aspects of Software Engineering II Lyngby D. Bjørner ASe , FS , RAISEtools , RSL

next up previous contents
Next: SDL Up: Survey of Courses per Previous: Prolog   Contents
2004-11-04