José Ambrosio Toval Álvarez;Isidro Ramos;Oscar Pastor
-;-;-
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering