Record Beta
VSTTE 2008
https://id.confref.org/data/confident/21112
This record is part of the confref event Verified Software: Theories, Tools, and Experiments 2008.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | Toronto (wd:Q172) |
| rdfs:label | VSTTE 2008 |
| cf:Academic_Field | https://id.confref.org/data/confident/26151 |
| cf:Acronym | VSTTE 2008 |
| cf:City | Toronto |
| cf:Country | https://id.confref.org/data/confident/30889 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-05-17T09:16:18 |
| cf:Display_Title | VSTTE 2008 |
| cf:End_Date | 2008-10-09 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:Modification_date | 2022-10-19T14:24:34 |
| cf:Month | 10 |
| cf:Official_Website | http://qpq.csl.sri.com/vsr/vstte-08 |
| cf:Organizer_Missing | true |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2008-10-06 |
| cf:Start_Date_Missing | false |
| cf:Title | Verified Software: Theories, Tools, and Experiments 2008 |
| cf:Year | 2008 |
| cf:page | https://www.confident-conference.org/index.php/Event:VSTTE_2008 |
| cf:pageTitle | Event:VSTTE 2008 |
| cr:discipline | software verification (wd:Q6504747) |
| cr:field | Mathematics (https://id.confref.org/data/oecd-fos/1.1) |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.