2011/2012冬季学期
Softwarepraktikum(Nicht für理学学士、信息学学士和ESE理学学士)
Java的形式化方法
程序验证
静态代码分析
UML中的软件设计、建模和分析
软件测试