• Hauptnavigation
  • Seiteninhalt
  • Inhalt
  • Hilfe & Kontakt
Suche Universität Konstanz
  • Accessibility
    • University
    • Research
    • Study
    • Teaching
    • campus.kn
  • Log in with your university's account to access password-protected areas.

    Lost credentials?
Software and Systems Engineering - Prof. Dr. Stefan Leue

Current ZEuS

  • Members
    • Members
    • Prof. Dr. Stefan Leue
    • Research Staff
    • Administration Office
    • Alumni
  • Research
    • Research
    • QuantUM
    • CausCheck
    • CauseJMu
    • DiRePro
    • IMCOS
    • Tools
    • Abgeschlossene Projekte
  • Teaching
    • Teaching
    • Student-Information
    • Projects and Theses
    • Current ZEuS
    • Summer Term 2023
    • Current Term
    • Past Terms
  • Publications
    • Publications
    • Publications
    • Presentation
Department of Computer and Information Science Software and Systems Engineering - Prof. Dr. Stefan Leue Teaching Current Term Current ZEuS
  • Student Information
  • Projects and Theses
  • Current ZEuS
  • Summer Term 2023
    • Course: Software Engineering
    • Course: Verification of Software and Systems
    • DS: Decision Procedure for Software Verification
  • Past Terms
    • Summer Term 2022
    • Winter Term 2021/22
    • Summer Term 2021
    • Winter Term 2020/21
    • Summer Term 2020
    • Winter Term 2019/20
    • Summer Term 2019
    • Winter Term 2018/19
    • Summer Term 2018

Current courses

Title Type
Bachelor's Project Software and Systems Engineering Project
Master's Project Software and Systems Engineering Project
Software Engineering Lecture
Software Engineering (Exercise) (1. Parallel Group) Exercise
Software Engineering (Exercise) (2. Parallel Group) Exercise
Decision Procedures for Software Verification Directed Studies
Decision Procedures for Software Verification (Exercise) Exercise
Verification of Software and Systems Lecture
Verification of Software and Systems (Exercise) Exercise
Soft Meeting AG Leue (intern) internal event
Courses of last terms
To top
  • Impressum, Contact and Legal Notice
  • Information on data protection
  • Job openings
  • Information on accessibility
  • Counseling in cases of conflicts/discrimination
  • Contact page editor
  • Facebook
  • Twitter
  • YouTube
  • iTunes U
  • Instagram

© Universität Konstanz 2023 Page Identifier: 75018

Search University of Konstanz

  • Search pages

Results

Suggestions