Formal Specification and Simulation of Software through Graph Grammars: A General but Minimal Approach.

Rudolf Freund, Christian Stary, Herbert Ptzl, Tatjana Svizensky

Browse the full COMPSAC paper archive.