DE149F39-4F99-4B95-963C-D588F637064CCHI+MED: Multidisciplinary Computer-Human Interaction research for the design and safe use of interactive medical devicesResearch GrantEP/G059063/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL5820840C6FF7C33-569A-45DB-848D-3D17D3359188Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Icb0e2a93c153c034df98af1588ed94b8Masci P2015-01-01http://dx.doi.org/10.1007/978-3-319-21690-4_30978-3-319-21689-8http://dx.doi.org/10.1007/978-3-319-21690-4_30PVSio-web 2.0: Joining PVS to HCI470-478Book Chapter55fa8c9b9e5779.53303460