Web Services and Formal Methods Web Services and Formal Methods
2008
Graph Transformation, Specifications, and Nets Graph Transformation, Specifications, and Nets
2018