EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Schurr, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2010

Zambon, Eduardo (2010) Using Graph Transformations and Graph Abstractions for Software Verification. In: Fifth International Conference on Graph Transformations (ICGT 2010), 27 Sep - 02 Oct 2010, Enschede, NL. pp. 416-418. Lecture Notes in Computer Science 6372. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-15927-5

This list was generated on Mon Mar 27 07:33:32 CEST 2017.