Event Beta
International SPIN Symposium on Model Checking of Software
SPIN 2022
- Date
- 2022-05-21
- Series
- International SPIN Symposium on Model Checking of Software
- Edition
- 28
- Attendance
- online
- Status
- as scheduled
- Website
- https://spin2022chi.web.illinois.edu/
- Academic field
- Natural sciences: Computer and information sciences
- Identifier
https://id.confref.org/event/e11vy5y
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings Lecture Notes in Computer Science 13255 | 10.1007/978-3-031-15077-7 | 2022 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| ConfIDent | |
|---|---|
| dblp |
Cite
International SPIN Symposium on Model Checking of Software. confref identifier e11vy5y. https://id.confref.org/event/e11vy5y
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.