A systematic literature review of the use of formal methods in medical software systems
Article in Journal of Software (February 2018)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Journal of Software (February 2018)