Sciweavers

Share
GG
2010
Springer

Using Graph Transformations and Graph Abstractions for Software Verification

11 years 10 months 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)
books