Guest editor’s introduction: Special issue on Web Services and Formal Methods
Saved in:
| Title: | Guest editor’s introduction: Special issue on Web Services and Formal Methods |
|---|---|
| Authors: | Bravetti, Mario1 bravetti@cs.unibo.it, Zavattaro, Gianluigi1 zavattar@cs.unibo.it |
| Source: | Journal of Logic & Algebraic Programming. Jan2007, Vol. 70 Issue 1, p1-2. 2p. |
| Database: | Engineering Source |
| ISSN: | 15678326 |
|---|---|
| DOI: | 10.1016/j.jlap.2006.05.001 |
