A Formal Approach for Modelling and Analysing Surgical Procedures. - Ioana Sandu; Rita Borgo; Prokar Dasgupta; Ramesh Thurairaja; Luca Viganò 001 (STM, 2024)

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version). - Ioana Sandu; Rita Borgo; Prokar Dasgupta; Ramesh Thurairaja; Luca Viganò 001 (CoRR, 2024)