AIMS: To evaluate the clinical and professional development that occurs during a New Zealand trainee intern year in preparation for the first house officer role. METHODS: A quantitative questionnaire ...
A. Gunter, August 2000, Proc. Theorem Provers for Higher-Order Logics (TPHOLs00) The Village Telephone System: A Case Study in Formal Software Engineering , Karthikeyan Bhargavan, Carl A. Gunter, Elsa...
A. Gunter, August 2000, Proc. Theorem Provers for Higher-Order Logics (TPHOLs00) The Village Telephone System: A Case Study in Formal Software Engineering , Karthikeyan Bhargavan, Carl A. Gunter, Elsa...
A. Gunter, August 2000, Proc. Theorem Provers for Higher-Order Logics (TPHOLs00) The Village Telephone System: A Case Study in Formal Software Engineering , Karthikeyan Bhargavan, Carl A. Gunter, Elsa...