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

Desktop Layout
Mon, July 21, 2014
15:40 – 17:00
Parallel and Higher-Order Verification
SPIN
Santa Clara Room, Chair: Sagar Chaki

Time stamp: 2020-05-27T01:34:23+02:00