Issues about the adoption of formal methods for dependable composition of web services  /
Mazzara, Manuel.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle : Newcastle University,
2010.
"March 2010".