TY - RPRT TI - Semi-automated checking for regulatory compliance in e-Health AU - Ilaria Angela Amantea AU - Livio Robaldo AU - Emilio Sulis AU - Guido Boella AU - Guido Governatori PY - 2021 UR - https://arxiv.org/abs/2110.07710 ID - 2110.07710 ER -