Web Services and Formal Methods - Dumas, Marlon; Heckel, Reiko (Springer Berlin Heidelberg, 2008)
Keywords: Information Technology -- Software Engineering