Pasquale Malacaria Home Page

Research curiosity: data idea, automated security analysis, verification, information technology topics for research paper