HOL-OCL: Experiences, Consequences and Design Choices (2002)

by A D Brucker, B Wolff
Venue:UML 2002. LNCS 2460