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) ↗
2. Static analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings. (2015) Editors: Blazy, Sandrine; Jensen, Thomas Other Names: International Static Analysis Symposium, 22nd Record Type: Book Extent: 1 online resource (xvi, 333 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗