1. Structured object-oriented formal language and method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers /: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised selected papers. (2019) Editors: Duan, Zhenhua; Liu, Shaoying, 1960-; Tian, Cong; Nagoya, Fumiko Other Names: SOFL+MSVL (Workshop), 8th Record Type: Book Extent: 1 online resource (viii, 197 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗