CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification.

Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Sal E. Pomares Hernndez, Ahmed Hadj Kacem

Browse the full WETICE paper archive.