Web Services and Formal Methods

No description available.
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, Interpreters