Formal Methods for Web Services - Bernardo, Marco; Kanade, Takeo; Padovani, Luca; Zavattaro, Gianluigi (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Software Engineering