Franklin

SPIN '17 : proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, CA, USA / edited by Hakan Erdogmus and Klaus Havelund ; sponsored by ACM SIGSOFT.

Publication:
New York : ACM, 2017.
Format/Description:
Conference/Event
Book
1 online resource (199 pages)
Conference Name:
International SPIN Workshop (24th : 2017 : Santa Barbara, Calif.)
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Other Title:
SPIN '17 : proceedings of the 24th Association for Computing Machinery Special Interest Group on Software Engineering International SPIN Symposium on Model Checking of Software : July 13-14, 2017, Santa Barbara, California, United States of America
SPIN 2017
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
Proceedings of the 24th Association for Computing Machinery Special Interest Group on Software Engineering International SPIN Symposium on Model Checking of Software
Subjects:
SPIN (Computer file) -- Congresses.
Computer software -- Verification -- Congresses.
Form/Genre:
Electronic books.
Notes:
Includes index.
Description based on: online resource; title from pdf title page (ACM Digital Library, viewed August 21, 2018).
Contributor:
Erdogmus, Hakan, editor.
Havelund, Klaus, editor.
ACM Sigsoft, sponsoring body.