1
Published 2016
Springer International Publishing
... Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain...