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

Desktop Layout
Mon, July 21, 2014
08:30 – 08:45
Message from the Chairs (Neha Rungta and Oksana Tkachuk)
SPIN Plenary
Santa Clara Room, Chairs: Neha Rungta and Oksana Tkachuk

Time stamp: 2019-08-20T22:13:50+02:00