Formal Specification of a Web Services Protocol
James E. Johnson, David E. Langworthy, Leslie Lamport, and Friedrich H. Vogt
February 2004
 PDF file |
In First International Workshop on Web Services and Formal Methods (WS-FM 2004)
Details
| Type | Inproceedings |
| Address | Pisa, Italy |