Formal Specification of a Web Services Protocol
James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004
David Langworthy
Principal Research Software Engineer
论文与出版物
-
-
Formal Specification of a Web Services Protocol
James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004
-
-
-
Formal Specification of a Web Services Protocol
James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt
First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004
-