Prof. Dr. Matthias Güdemann

Fakultät 07
Room: R 4.019
Address: 80335 München, Lothstraße 64

T +49 89 1265-3752

Email

Fact sheet

verification modelchecking SMT SAT, Theoretische Informatik