GitHub repository: moves-rwth/attestor
Primary language: Java
Created: 2017-05-23T15:26:35Z
Description: A Shape Analysis Tool based on Graph Grammars