Web services and formal methods [electronic resource] : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

Responsibility
Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.).
Imprint
Berlin : Springer, 2006.
Physical description
x, 287 p. : ill.
Series
Lecture notes in computer science 4184.
LNCS sublibrary. SL 2, Programming and software engineering.

Browse related items

Start at call number:
Librarian view | Catkey: 12478466