Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-5 of 5)
Oliveira, José N.
1 2020 Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal) Rating: Electronic Resources More...
2 2020 Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers. World Congress on Formal Methods (3rd : 2019 : Porto, Portugal) Rating: Electronic Resources More...
3 2019 Formal methods -- the next 30 years : third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings International Symposium of Formal Methods Europe (23rd : 2019 : Porto, Portugal) Cham, Switzerland : Springer, 2019 Rating: Electronic Resources More...
4 2015 Relational and algebraic methods in computer science : 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015, Proceedings RAMiCS (Conference) (15th : 2015 : Braga, Portugal) Cham : Springer, 2015 Rating: Electronic Resources More...
5 2009 Teaching formal methods : Second International Conference, TFM 2009, Eindhoven, the Netherlands, November 2-6, 2009, proceedings TFM 2009 (2009 : Eindhoven, Netherlands) Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Formal methods : FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019, Revised selected papers.