Web services and formal methods [E-Book] : 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 : proceedings / ed. by M. Dumas ...
Dumas, M., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540792307 (e-book)
9783540792291
Lecture notes in computer science ; 4937
Full Text
Description not available.