2014 International SPIN Symposium on Model Checking of Software (SPIN), July 21–23, 2014, San Jose, CA, USA

Desktop Layout
Tue, July 22, 2014
08:45 – 10:00
Analysis of x86 Executables using Abstract Interpretation (Keynote)
SPIN Keynote
Santa Clara Room, Chair: Neha Rungta

Time stamp: 2019-10-15T03:16:28+02:00