Login / Signup

Verification of transaction-aware web services composition through formal methods.

Sunita JalalChetan Singh NegiDharmendra Kumar Yadav
Published in: Int. J. Syst. Assur. Eng. Manag. (2024)
Keyphrases