Book

Web Services and Formal Methods

by Emilio Tuosto, Chun Ouyang