Verified software. Theories, tools, and experiments. 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers (Q332857)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verified software. Theories, tools, and experiments. 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers |
scientific article; zbMATH DE number 6649707
| 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. Revised selected papers |
scientific article; zbMATH DE number 6649707 |
Statements
Verified software. Theories, tools, and experiments. 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers (English)
0 references
9 November 2016
0 references
0.97018826
0 references
0.9479483
0 references
0.9473581
0 references
0.9448187
0 references
0.94123393
0 references
0.9331241
0 references
0.9327527
0 references
0.93215215
0 references
0.9260713
0 references
