Conference series Beta
Conference on Systems Software Verification (SSV)
SSV
- Events
- 5 (2008 to 2012)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/series/s10bybm
Events (5)
20082012
| Year | No. | Event | Place | Date |
|---|---|---|---|---|
| 2012 | Systems Software Verification SSV | Sydney | 2012-11-28/30 | |
| 2011 | 6 | 6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, The Netherlands, August 26, 2011 SSV | Kingdom of the Netherlands | 2011-08-26 |
| 2010 | 5 | 5th International Workshop on Systems Software Verification, SSV'10, Vancouver, BC, Canada, October 6-7, 2010 SSV | Vancouver | 2010-10-06/07 |
| 2009 | 4 | Proceedings of the 4th International Workshop on Systems Software Verification, SSV 2009, Aachen, Germany, June 22-24, 2009 SSV | Aachen | 2009-01-01 |
| 2008 | 3 | Proceedings of the 3rd International Workshop on Systems Software Verification, SSV 2008, Sydney, Australia, February 25-27, 2008 SSV | Sydney | 2008-01-01 |
The events on the map · in the search · calendar of coming events
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| Wikidata | |
| dblp |
Cite
Conference on Systems Software Verification (SSV). confref identifier s10bybm. https://id.confref.org/series/s10bybm
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.