[1]
E. Zambon and A. Rensink, “Using Graph Transformations and Graph Abstractions for Software Verification”,
ECEASST
, vol. 38, May 2011.