Powered by
2014 International SPIN Symposium on Model Checking of Software (SPIN),
July 21–23, 2014,
San Jose, CA, USA
Frontmatter
Message from the Chairs
This volume contains proceedings for the 21st International Symposium on Model Checking of Software - SPIN 2014 that was held in San Jose, California from July 21-23, 2014. SPIN 2014 was co-located with International Symposium on Software Testing and Analysis. SPIN and ISSTA held joint sessions on July 23rd.
proc time: 0.26