Login / Signup

Stephan Merz

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 27

Top Topics

Strongly Connected Components
Formal Proofs
Temporal Logic
Theorem Proving

Top Venues

CoRR
ABZ
Sci. Comput. Program.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Ludwig Maximilian University of Munich, Germany (PHD)

Education History
Ludwig Maximilian University of Munich, Germany

PHD

Publications