From Verified Models to Verified Code for Medical Devices

Submitted by Rahul Mangharam on Thu, 10/31/2013 - 15:24
  • Academia