A Formal Dynamic Verification of Choreographed Web Services Conversations.

Karim Dahmani, Mahjoub Langar, Riadh Robbana

Browse the full ProvSec paper archive.