Mercaldo, Francesco, Istituto di Informatica e Telematica, Consiglio Nazionale delle Ricerche, Italy

• Information Technology and Control Vol. 48 No. 2 (2019) - Articles
  Model Checking Based Approach for Compliance Checking
  Abstract  PDF