CST Colloquium: Static Analysis and Verification of C Programs
N-923Date: September 17th, 2015 at 12:00 pm - 1:00 pm Location: Namm 923 Speaker: Subash Shankar Abstract: Department of Computer Science, Hunter College, City University of New York Recent years