Dr. Srdan Krstic

Dr.  Srdan Krstic

Dr. Srdan Krstic

Lecturer at the Department of Computer Science

ETH Zürich

Professur f. Informationssicherh.

CNB F 109.2

Universitätstrasse 6

8092 Zürich

Switzerland

Additional information

Course Catalogue

Spring Semester 2024

Number Unit
263-4600-00L Formal Methods for Information Security
JavaScript has been disabled in your browser