Author/Creator: VSTTE (Conference), 8th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator VSTTE (Conference), 8th

1. Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers /: theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers. (2016)

Editors:: Blazy, Sandrine; Chechik, Marsha
Other Names:: VSTTE (Conference), 8th
Record Type:: Book
Extent:: 1 online resource (xiv, 199 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗