Non abbiamo ancora una biografia di Alexander Raschke.
Pubblicato in Inglese
Rigorous State-Based Methods
2023
Modeling Companion for Software Practitioners
2018
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Logic, Computation and Rigorous Methods
2021
Otium
