-
SEAL
-
Lehre
-
Lehrveranstaltungen
-
Sommersemester 2025
Aktuelle Themen im logikbasierten Software Engineering
in Coq, dependent type theory, and applications to program verification. There is overlap with LMSE 1 & 2 , but no familiarity with type theory is necessary. ATLSE focuses on the following aspects: dependently …