Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
Title:
Web services and formal methods : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers
Author:
WS-FM 2010 (2010 : Hoboken, N.J.)
ISBN:
9783642195884
Conference Author:
Publication Information:
Berlin ; Heidelberg ; New York : Springer, c2011.
Physical Description:
viii, 190 p. : ill.; 24 cm.
Series:
Lecture notes in computer science, 6551.
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; 6551.
General Note:
Revised conference papers.
Added Title:
SpringerLink (E-books)