Philipp Rümmer

Books
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2026
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2026
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2026
Theoretical Aspects of Software Engineering Theoretical Aspects of Software Engineering
Theoretical Aspects of Software Engineering
2025
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
2018