Realizing Graph Transformations by Pre- and Postconditions and Command Sequences

DOI10.1007/11841883_28zbMath1156.68422OpenAlexW1575752157MaRDI QIDQ3541977

Fabian Büttner, Martin Gogolla

Publication date: 27 November 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11841883_28

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Uses Software

• HOL-OCL

This page was built for publication: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences