Alexander Raschke profile picture

Alexander Raschke

Modeling Companion for Software Practitioners
Rigorous State-Based Methods
Rigorous State-Based Methods
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Logic, Computation and Rigorous Methods
Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings