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 |