A Hybrid Approach to the Verification of Computer Interpretable Guidelines
Anselma, Luca, Bottrighi, Alessio, Giordano, Laura, Hommersom, Arjen, Molino, Gianpaolo, Montani, Stefania, Terenziani, Paolo, Torchio, Mauro
Published in Foundations of Biomedical Knowledge Representation (2016)
Published in Foundations of Biomedical Knowledge Representation (2016)
Get full text
Book Chapter