Web Services and Formal Methods

Web Services and Formal Methods
Details
- OL Work ID
- OL22436656W
Subjects
Web servicesSystem designCongressesFormal methods (Computer science)Software engineeringInformation Systems Applications (incl. Internet)Computer scienceLogic designInformation SystemsManagement of Computing and Information SystemsLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersUser Interfaces and Human Computer Interaction