Automated Verification of Care Pathways Using Constraint Programming

IEEE Journal of Biomedical and Health Informatics - United States
doi 10.1109/jbhi.2020.2977032