1 option
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.
- Format:
- Book
- Conference/Event
- Conference Name:
- International SPIN Workshop (24th : 2017 : Santa Barbara, Calif.)
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- SPIN (Computer file)--Congresses.
- SPIN (Computer file).
- Computer software--Verification--Congresses.
- Computer software.
- Physical Description:
- 1 online resource (199 pages)
- 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
- Place of Publication:
- New York : ACM, 2017.
- Notes:
- Includes index.
- Description based on: online resource; title from pdf title page (ACM Digital Library, viewed August 21, 2018).
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.