Login / Signup

Can Intuition Become Rigorous? Foundations for UML Model Verification Tools.

José Luis Fernández AlemánJosé Ambrosio Toval Álvarez
Published in: ISSRE (2000)
Keyphrases