Reda Ammar and Sanguthevar RajasekaranALJOHARAH ABDULLAH A ALGWAIZ2022-06-012022-06-0132563https://drepo.sdl.edu.sa/handle/20.500.14154/58991Formal Modeling and Mining of Big DataThesis