====== Winter semester 20/21 ======

=== Master ===

[[en:lehre:wise2021:cpm_v]]
  * Lecture in combination with lab
  * ECTS: 6
  * Tutor: [[:lehrstuhl:mitarbeiter:scheffe]]
\\
[[en:lehre:wise2021:formale_methoden_fuer_steuerungssoftware]]
  * Lecture
  * ECTS: 6
  * Tutor: [[:lehrstuhl:mitarbeiter:voelker]]