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

by Achim D. Brucker , Burkhart Wolff
Venue:UML 2002: MODEL ENGINEERING, CONCEPTS AND TOOLS, NUMBER 2460 IN LECTURE NOTES IN COMPUTER SCIENCE
Citations:15 - 5 self