1. Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers /: 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers. (2016) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 5th Record Type: Book Extent: 1 online resource (viii, 219 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal methods and software engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings /: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. (2017) Editors: Duan, Zhenhua; Ong, Luke Other Names: International Conference on Formal Engineering Methods, 19th Record Type: Book Extent: 1 online resource (xvii, 498 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Structured object-oriented formal language and method : 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers /: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised selected papers. (2015) Editors: Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 4th Record Type: Book Extent: 1 online resource (viii, 189 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Structured object-oriented formal language and method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers /: 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers. (2018) Editors: Tian, Cong; Nagoya, Fumiko; Liu, Shaoying, 1960-; Duan, Zhenhua Other Names: SOFL+MSVL (Workshop), 7th Record Type: Book Extent: 1 online resource (x, 219 pages), 66 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗