Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Verification of Architectural Refactorings: Rule Extraction and Tool Support.. ICGT, volume 5214 of Lecture Notes in Computer Science, page 475-477. Springer, (2008)Applications of Graph Transformations with Industrial Relevance, , , , , , , , , and 2 other author(s). Springer-Verlag, Berlin, Heidelberg, (2008)Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools, , , , , , , , , and 2 other author(s). Applications of Graph Transformations with Industrial Relevance, volume 5088 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-540-89020-1\_36.(2008)Compositional verification of model-level refactorings based on graph transformations.. University of Leicester, UK, (2010)British Library, EThOS.