Web Services and Formal Methods - Bravetti, Mario; Kanade, Takeo; Nau?nez, Manuel; Núñez, Manuel; Zavattaro, Gianluigi (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Software Engineering