Home›Books›Web Services and Formal MethodsWeb Services and Formal Methodsby Marlon DumasNo description available.Logic designComputer system performanceInformation SystemsSoftware engineeringWeb servicesCongressesFormal methods (Computer science)