View of Using Graph Transformations and Graph Abstractions for Software Verification

Return to Article Details Using Graph Transformations and Graph Abstractions for Software Verification Download Download PDF