Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving.

Arjen Hommersom, Peter J. F. Lucas, Michael Balser

Browse the full JELIA paper archive.