Login / Signup

Markus Roggenbach

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 26

Top Topics

Formal Methods
Software Engineering
Test Case Selection
Model Checking

Top Venues

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

University of Mannheim, Germany (PHD)

Education History
University of Mannheim, Germany

PHD

Publications