Semi-automated checking for regulatory compliance in e-Health

@misc{amanteaThu Oct 14 2021 20:58:02 GMT+0000 (Coordinated Universal Time)semiautomatedcheckingregulatory,
      title={Semi-automated checking for regulatory compliance in e-Health},
      author={Ilaria Angela Amantea and Livio Robaldo and Emilio Sulis and Guido Boella and Guido Governatori},
      year={Thu Oct 14 2021 20:58:02 GMT+0000 (Coordinated Universal Time)},
      eprint={2110.07710},
      archivePrefix={arXiv},
      primaryClass={cs.AI},
      url={https://arxiv.org/abs/2110.07710},
}