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

Barbier, Franck, France

• Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 - Articles
  OCL contracts for the verification of model transformations
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.