TY  - BOOK
AU  - Maurice H. Beek, Niels Lohmann
TI  - Web Services and Formal Methods
SN  - 978-3-642-38230-7
PY  - 2013///
CY  - New York
PB  - Springer US
KW  - Computer Science
KW  - Information Systems Applications (incl.Internet); Software Engineering; Management of Computing and Information Systems; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; User Interfaces and Human Computer Interaction
ER  -