GT-VC

(redirected from Graph Transformation for Verification and Concurrency)
AcronymDefinition
GT-VCGraph Transformation for Verification and Concurrency (workshop)