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

Krieger, Matthias P., Germany

• Volume 15: OCL Concepts and Tools 2008 - Articles
  Executing Underspecified OCL Operation Contracts with a SAT Solver
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.