Login / Signup

Locality in Reasoning about Graph Transformations.

Martin Strecker
Published in: AGTIVE (2011)
Keyphrases