HOME | DEUTSCH | IMPRESSUM | KIT

Theorem prover lab: applications in programming languages

The "Theorem provers lab" in the summer term 2020 has been cancelled.