Certifying Rule-Based Models Using Graph Transformation

Bok av Leen Lambers