Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

García de Dios, Miguel Angel, Spain

• 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.