TY  - BOOK
AU  - Dumas,Marlon
AU  - Heckel,Reiko
ED  - WS-FM 2007
ED  - SpringerLink (Online service)
TI  - Web services and formal methods: 4th international workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007 ; proceedings 
SN  - 9783540792307 (electronic bk.)
U1  - 005.43 22
PY  - 2008///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Web services
KW  - Congresses
KW  - Formal methods (Computer science)
KW  - Computer Science
KW  - Computer Communication Networks
KW  - Logics and Meanings of Programs
KW  - Management of Computing and Information Systems
KW  - Software Engineering
KW  - System Performance and Evaluation
N1  - Includes bibliographical references and index; Also issued online
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-79230-7
ER  -