A Hybrid Approach to the Verification of Computer Interpretable Guidelines
- L. Anselma*
- , A. Bottrighi
- , L. Giordano
- , A.J. Hommersom
- , G. Molino
- , S. Montani
- , P. Terenziani
- , M. Torchio
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review