Alexander Raschke

Books
Rigorous Methods in Theory and Practice Rigorous Methods in Theory and Practice
Rigorous Methods in Theory and Practice
2026
Logic, Computation and Rigorous Methods Logic, Computation and Rigorous Methods
Logic, Computation and Rigorous Methods
2021
Rigorous State-Based Methods Rigorous State-Based Methods
Rigorous State-Based Methods
2020
Abstract State Machines, Alloy, B, TLA, VDM, and Z Abstract State Machines, Alloy, B, TLA, VDM, and Z
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2018