Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Formal Specification of a Web Services Protocol

James E. Johnson, David E. Langworthy, Leslie Lamport, and Friedrich H. Vogt

Details

Publication typeInproceedings
Published inFirst International Workshop on Web Services and Formal Methods (WS-FM 2004)
AddressPisa, Italy
> Publications > Formal Specification of a Web Services Protocol