Visible to the public From Verified Models to Verified Code for Medical Devices

Submitted by rahulm on Thu, 10/31/2013 - 3:24pm
Video: 
Contributor(s): 
Rahul Mangharam
Sponsor(s): 
National Science Foundation
UPenn