Correctness Proof Obligation for CoCTelS Telecom Services Composition Model.

Zid Choukair

Browse the full AINA paper archive.