Angelo Gargantini · 4 obras en el catálogoObrasAAbstract State Machines 2003 : Advances in Theory and PractiAbstract State Machines 2003 : Advances in Theory and PracticeTTests and ProofsTests and ProofsTTesting Software and SystemsTesting Software and SystemsRRigorous State-Based MethodsRigorous State-Based Methods
AAbstract State Machines 2003 : Advances in Theory and PractiAbstract State Machines 2003 : Advances in Theory and Practice