- This event has passed.
Exploiting Abstract Interpretation for Model Checking Programs
February 25, 2019 @ 3:35 pm - 4:00 pm
Gilbert Pajela (CUNY Graduate Center), Jordi Navarrette (CUNY Graduate Center), and Subash Shankar (CUNY Hunter College)
(slides)
