Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-3 of 3)
Blazy, Sandrine,
1 2013 Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings ITP (Conference) (4th : 2013 : Rennes, France) Berlin : Springer, 2013 Rating: Electronic Resources More...
2 2015 Static analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings International Static Analysis Symposium (22nd : 2015 : Saint-Malo, France) Heidelberg : Springer, 2015 Rating: Electronic Resources More...
3 2016 Verified software : theories, tools, and experiments : 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised selected papers VSTTE (Conference) (8th : 2016 : Toronto, Ont.) Cham, Switzerland : Springer, 2016 Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Interactive theorem proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings