View of Enhancing formal specification and verification of e-commerce protocol

Return to Article Details Enhancing formal specification and verification of e-commerce protocol Download Download PDF