Egea, Marina, Switzerland
-
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 - Articles
Checking Unsatisfiability for OCL Constraints
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST