Graph Transformation, Specifications, and Nets Más libros de Reiko Heckel & Gabriele Taentzer

Web Services and Formal Methods

2008