Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Sun, Jing (Computer scientist),
1 2013 Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings International Conference on Formal Engineering Methods (15th : 2013 : Queenstown, N.Z.) Heidelberg : Springer, [2013] Rating: Electronic Resources More...
2 2018 Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings International Conference on Formal Engineering Methods (20th : 2018 : Gold Coast, Qld.) Cham, Switzerland : Springer, 2018 Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings