Margus Veanes · 5 obras en el catálogoObrasModel-based software testing and analysis with C♯Model-based software testing and analysis with C♯Tests and ProofsTTesting of Software and Communicating SystemsTesting of Software and Communicating SystemsOOn simultaneous rigid E-unificationOn simultaneous rigid E-unification