From Verified Models to Verified Code for Medical Devices Submitted by Rahul Mangharam on Thu, 10/31/2013 - 15:24 Academia