Development of correct graph transformation systems

Karl-Heinz Pennemann. Development of correct graph transformation systems. PhD thesis, Carl von Ossietzky University of Oldenburg, 2009. [doi]

Abstract

Abstract is missing.