Skip to content

Formal specification and validation of refinement from WS-CDL to BPEL.

Khadidja Salah-Mansour, Youcef Hammal, Lynda Mokdad

VenueCISCC
Year2019
ProceedingsISCC

Browse the full ISCC paper archive.