Fingerprint Dive into the research topics of 'Using Graph Transformations and Graph Abstractions for Software Verification'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Using Graph Transformations and Graph Abstractions for Software Verification
Eduardo Zambon, Arend Rensink
Research output: Book/Report › Report › Professional
74
Downloads
(Pure)