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)
Qin, Shengchao,
1 2021 Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings SETTA (Symposium) (7th : 2021 : Beijing, China) Cham, Switzerland : Springer, 2021 Rating: Electronic Resources More...
2 2011 Formal methods and software engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings IEEE International Conference on Formal Engineering Methods (13th : 2011 : Durham, England) Rating: Electronic Resources More...
3 2019 Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings International Conference on Formal Engineering Methods (21st : 2019 : Shenzhen Shi, China) Cham, Switzerland : Springer, 2019 Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings