II. School of Computing Science, Business Administration, Economics, and Law

Department of Computing Science

Teaching

Head

Prof. Dr. Heike Wehrheim

Secretary

Marion Bramkamp

Uhlhornsweg 84 — Room A2 2-228

+49 441 798-4522

Teaching

Lectures

Summer term 2022

2.01.410 Formale Methoden |

2.01.455 Model Checking |

2.01.490 Seminar Spezialthemen der Software Verifikation |

2.01.801-B Forschungsseminar Formale Methoden |

2.01.AM-B Oberseminar Formale Methoden |

(Changed: 2022-04-28)