An Approach for the Specification and Verification of Hadoop-MapReduce Workflow.

Mayssa Bessifi, Ahlem Ben Younes, Leila Ben Ayed

Browse the full COMPSAC paper archive.