Anshuman Mukherjee

1 published title

Verification of communication protocols in web services : model-checking service compositions

(Contributor)

1 edition