An UML _AD-to-event_B refinement based approach for specifying and verifying workflow applications.

Ahlem Ben Younes, Leila Jemni Ben Ayed

Browse the full IIWAS paper archive.