SPIN 2017
24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (SPIN 2017)
Powered by
Conference Publishing Consulting
24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software (SPIN 2017)
,
July 13–14, 2017
,
Santa Barbara, CA, USA
SPIN 2017 – Proceedings
Contents
-
Abstracts
-
Authors
Frontmatter
Title Page
Message from the Chairs
Info
SPIN 2017 Organization
Sponsors
proc time: 0