TY  - BOOK
AU  - Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
TI  - Web Services, Formal Methods, and Behavioral Types
SN  - 9783319336121
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-319-33612-1
ER  -