Web services and formal methods : 7th international workshop, WS-FM, Hoboken, NJ, USA, Sept. 16-17, 2010 (e-book)
Web services and formal methods : 7th international workshop, WS-FM, Hoboken, NJ, USA, Sept. 16-17, 2010 (e-book)
- Berlin Springer 2011
- Lecture Notes in Computer Science (LNCS) v.6551 LNCS Sublibrary : SL 2 – Programming and Software Engineering .
978-3-642-19589-1
Computer Science and Engineering
Formal methods (Computer science)--Congresses
Web services--Congresses
Information storage and retrieval systems--Congresses
Software engineering--Congresses
978-3-642-19589-1
Computer Science and Engineering
Formal methods (Computer science)--Congresses
Web services--Congresses
Information storage and retrieval systems--Congresses
Software engineering--Congresses