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

Jos Luis Fernndez-Alemn, Jos Ambrosio Toval lvarez

Browse the full ISSRE paper archive.