Cite
APA Citation
Bonfanti, S., Gargantini, A., & Mashkoor, A. (2018). a systematic literature review of the use of formal methods in medical software systems. Journal of software, 30(5), n/a. http://access.bl.uk/ark:/81055/vdc_100065907846.0x000006