ACL2 meets pointer analysis

Room: 
Room: GDC 5.516
Contact Name: 
Calvin Lin
Date: 
Mar 8, 2013 12:30pm - 2:00pm
Tags: