URUZ3: A formal- specification tool for acquisition and maintenance of clinical guidelines Department of Information Systems Engineering Faculty of Engineering.
URUZ3: A formal- specification tool for acquisition and maintenance of clinical guidelines