From Verified Models to Verified Code for Medical Devices

Submitted by Rahul Mangharam on
  • Academia