The list of papers accepted to SPIN 2017 is available online at
http://conf.researchr.org/info/spin-2017/accepted-papers
SPIN 2017 is the 24th International SPIN Symposium on Model Checking of Software.
SPIN 2017 will be held in beautiful Santa Barbara, California in July in conjunction with ISSTA.
