Enhancing the specification and verification techniques of multiparty sessions in SOC.

Abeer S. Al-Humaimeedy, Maribel Fernndez

Browse the full PPDP paper archive.