Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya, 978-3-030-13650-5, 978-3-030-13651-2