Using Programmed Graph Rewriting for the Formal Specification of a Configuration Management System.

Bernhard Westfechtel

Browse the full WG paper archive.