Bravetti, Mario.
Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / [electronic resource] : edited by Mario Bravetti, Tevfik Bultan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6551 0302-9743 ; . - Lecture Notes in Computer Science, 6551 .
9783642195891
10.1007/978-3-642-19589-1 doi
Computer science.
Software engineering.
Information storage and retrieval systems.
Information systems.
Information Systems.
Computer Science.
Information Systems Applications (incl.Internet).
Software Engineering.
Management of Computing and Information Systems.
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
QA76.76.A65
005.7
Web Services and Formal Methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / [electronic resource] : edited by Mario Bravetti, Tevfik Bultan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6551 0302-9743 ; . - Lecture Notes in Computer Science, 6551 .
9783642195891
10.1007/978-3-642-19589-1 doi
Computer science.
Software engineering.
Information storage and retrieval systems.
Information systems.
Information Systems.
Computer Science.
Information Systems Applications (incl.Internet).
Software Engineering.
Management of Computing and Information Systems.
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
QA76.76.A65
005.7