Libros

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