Du, Zhoujie
Miao, Huaikou
Chapter History
First Online: 9 February 2019
Conference Information
Conference Acronym: SOFL+MSVL
Conference Name: International Workshop on Structured Object-Oriented Formal Language and Method
Conference City: Gold Coast, QLD
Conference Country: Australia
Conference Year: 2018
Conference Start Date: 16 November 2018
Conference End Date: 16 November 2018
Conference Number: 8
Conference ID: sofl2018
Conference URL: http://formal-analysis.com/sofl_msvl/2018/