Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 (Q106246504)
Jump to navigation
Jump to search
academic conference
- 8th VSTTE 2016: Toronto, ON, Canada
Language | Label | Description | Also known as |
---|---|---|---|
English | Verified Software. Theories, Tools, and Experiments - 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 |
academic conference |
|
Statements
VSTTE 2016 (English)
1 reference
Verified Software. Theories, Tools, and Experiments - 8th International Conference (English)
1 reference
1 reference
1 reference
17 July 2016
1 reference
18 July 2016
1 reference
Identifiers
VSTTE (8. : 2016 : Toronto)
1 reference
VSTTE (8. : 2016 : Toronto)
1 reference
VSTTE (8. : 2016 : Toronto)
1 reference