Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-4 of 4)
Muñoz, César A., 1968-
1 2017 Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings ITP (Conference) (8th : 2017 : Brasília, Brazil) Cham, Switzerland : Springer, 2017 Rating: Electronic Resources
2 2018 NASA formal methods : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings NFM (Symposium) (10th : 2018 : Newport News, Va.) Cham : Springer, 2018 Rating: Electronic Resources More...
3 2021 NASA formal methods : 13th International Symposium, NFM 2021, virtual event, May 24-28, 2021 : proceedings NFM (Symposium) (13th : 2021 : Online) Cham : Springer, [2021] Rating: Electronic Resources More...
4 2008 Theorem proving in higher order logics : 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings TPHOLs (21st : 2008 : Montreal, Quebec) Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Interactive theorem proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings