Protocure: supporting the development of medical protocols through formal methods

Protocure: supporting the development of medical protocols through formal methods