Vaglini, Gigliola, University of Pisa, Italy

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