Information and Communication Technologies for clinical governance in oncology: Design and development of a computerised guideline-based system for supporting and evaluating evidence-based clinical practice.
Protocure I assesses the use of formal verification methods to improve the quality of clinical guideline and protocol applications. Protocure II aims at integrating formal methods in the life cycle of clinical guidelines.