Carbone, M., Yoshida, N. & Honda, K., 2009, Formal Methods for Web Services.Springer, Vol. 5569. p. 187-21225 p. (Lecture Notes in Computer Science, Vol. 5569).
Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research