Alexander Raschke · 4 obras en el catálogoObrasModeling Companion for Software PractitionersAbstract State Machines, Alloy, B, TLA, VDM, and ZRigorous State-Based MethodsLLogic, Computation and Rigorous MethodsLogic, Computation and Rigorous Methods