Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 08:07:49 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||