1. Formal methods and software engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings /: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings. (2018) Editors: (Computer scientist), Sun, Jing; Sun, Meng Other Names: International Conference on Formal Engineering Methods, 20th Record Type: Book Extent: 1 online resource (xxii, 474 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗