Verifying Composite Service Transactional Behavior with EVENT-B.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul

Browse the full ECSA paper archive.