Andreas Schürr

• Operationales Spezifizieren mit programmierten Graphersetzungssystemen