Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving (2004)

Cached

Download Links

by Arjen Hommersom , Peter Lucas , Michael Balser
Venue:In JELIA’04, volume 3229 of LNCS
Citations:4 - 3 self