Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / [electronic resource] :
edited by Marlon Dumas, Reiko Heckel.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 4937 0302-9743 ; .
9783540792307
Computer science Computer Communication Networks Computer system performance Software engineering Logic design Information Systems Computer Science Software Engineering Computer Communication Networks Logics and Meanings of Programs System Performance and Evaluation Management of Computing and Information Systems