Graph Transformationde Holger Giese, Barbara KönigMateriasSoftware engineeringData structures (computer science)Graph theoryComputer scienceData structures (Computer science)Computer softwareLogic designComputational complexityDiscrete Mathematics in Computer Science
Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings