1. Structured object-oriented formal language and method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers /: 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised selected papers. (2017) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua; Tian, Cong; Nagoya, Fumiko Other Names: SOFL+MSVL (Workshop), 6th Record Type: Book Extent: 1 online resource (x, 239 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗