Tobias Nipkow, Ph.D.

TUM School of Computation, Information and Technology · Logik und Verifikation in der Informatik Professor im Ruhestand seit 31.03.2024

Technical University of Munich · Muenchen · Bayern