Sciweavers

GG
2010
Springer

Using Graph Transformations and Graph Abstractions for Software Verification

14 years 16 days ago
Using Graph Transformations and Graph Abstractions for Software Verification
Eduardo Zambon
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2010
Where GG
Authors Eduardo Zambon
Comments (0)