Skip to content

Web Services and Formal Methods

by Emilio Tuosto, Chun Ouyang

Cover of 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