A Model for Verification and Validation of Law Compliance of Smart Contracts in IoT Environment[J] IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 2021(17) Amato, Flora Cozzolino, Giovanni Moscato, Francesco Moscato, Vincenzo Xhafa, Fatos
