vUML: A Tool for Verifying UML Models

Johan Lilius, Ivan Paltor. vUML: A Tool for Verifying UML Models. In ASE. pages 255-258, 1999. [doi]

Abstract

Abstract is missing.