Report - Modeling and Verification of Big Data Computation · Modeling and Verification of Big Data Computation Claudio Mandrioli Matricola 849973 Relatore: Alberto Leva Co-Relatore: Martina

Please pass captcha verification before submit form