Interactive Verification of Medical Guidelines.

Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos

Browse the full FM paper archive.