Deakin University / All Locations

Return to Browse Limit/Sort Search

Add Marked to Bag Add All On Page Add Marked to My Lists
Titles (1-6 of 6)
Lecture notes in computer science. Formal methods
1 2017 Automated technology for verification and analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings ATVA (Symposium) (15th : 2017 : Pune, India) Cham, Switzerland : Springer, 2017 Rating: Electronic Resources
2 2018 Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings International Symposium of Formal Methods Europe (22nd : 2018 : Oxford, England) Cham, Switzerland : Springer, 2018 Rating: Electronic Resources More...
3 2021 Formal methods : 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings International Symposium of Formal Methods Europe (24th : 2021 : Online) Rating: Electronic Resources More...
4 2023 Formal methods 25th international symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, proceedings International Symposium of Formal Methods Europe (25th : 2023 : Lübeck, Germany) Rating: Electronic Resources
5 2017 Integrated formal methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings International Conference on Integrated Formal Methods (13th : 2017 : Turin, Italy) Cham, Switzerland : Springer, 2017 Rating: Electronic Resources
6 2019 Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings International Conference on Integrated Formal Methods (15th : 2019 : Bergen, Norway) Cham : Springer, 2019 Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Return to Browse Limit/Sort Search