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

Zambon, Eduardo, Netherlands

• Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium - Articles
  Using Graph Transformations and Graph Abstractions for Software Verification
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.