TY  - RPRT
TI  - A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
AU  - Ioana Sandu
AU  - Rita Borgo
AU  - Prokar Dasgupta
AU  - Ramesh Thurairaja
AU  - Luca Viganò
PY  - 2024
UR  - https://arxiv.org/abs/2408.05001
ID  - 2408.05001
ER  -