Graph Transformation, Specifications, and Nets More Books by Reiko Heckel & Gabriele Taentzer

Web Services and Formal Methods

2008