학술논문
Counterexample-guided abstraction refinement for the analysis of graph transformation systems
Document Type
Text
Author
Source
Subject
Language
English