Margus Veanes

• Model-based software testing and analysis with C♯
• Model-based software testing and analysis with C♯
• Tests and Proofs
• On simultaneous rigid E-unification
• Testing of Software and Communicating Systems