Spin Model Checker Holzmann HC Very Good Primer Reference Formal Methods

ter Beek - Web Services and Formal Methods 9th International Worksho - X555z

Capacity Planning for Web Services: Metrics, Models, and Methods

Web Services and Formal Methods 9th International Workshop WS-FM

Capacity Planning for Web Services : Metrics, Models, and Methods

Web Services and Formal Methods: Third International Workshop, Ws-FM 2006,: New

Web Services and Formal Methods : 9th International Workshop, Ws-fm 2012, Tal...

Web Services and Formal Methods: 4th International Workshop, Ws-FM 2007,: New