Bernardo M , Padovani L , Zavattaro G - Formal Methods for Web Services (Lecture Notes in Computer Science) - 2009 Pdf
Bernardo M., Padovani L., Zavattaro G. - Formal Methods for Web Services (Lecture Notes in Computer Science) - 2009.pdf