Graph Transformation, Specifications, and Nets Mehr Bücher von Reiko Heckel & Gabriele Taentzer

Web Services and Formal Methods

2008