Automated Mitigation of Frame Problem in UML Class Diagram Verification.

Antonio Rosales Viesca, Mustafa Al-Lail

Browse the full MODELS paper archive.