Home > Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Web Services and Formal Methods: 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers
Book Informaton
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |
Topics
Web services System design Congresses Formal methods (Computer science) Software engineering Information Systems Applications (incl. Internet) Computer science Logic design Information Systems Management of Computing and Information Systems Logics and Meanings of Programs Programming Languages Compilers Interpreters User Interfaces and Human Computer Interaction