Elvinia Riccobene · 3 obras en el catálogoObrasAAbstract State Machines 2003 : Advances in Theory and PractiAbstract State Machines 2003 : Advances in Theory and PracticeLLogic, Computation and Rigorous MethodsLogic, Computation and Rigorous MethodsRRigorous State-Based MethodsRigorous State-Based Methods
AAbstract State Machines 2003 : Advances in Theory and PractiAbstract State Machines 2003 : Advances in Theory and Practice