The 21st International Conference on Formal Engineering Methods (ICFEM 2019) November 5th-9th, 2019, Shenzhen, China.
Guangdong Bai
Associate Professor
School of Information Technology and Electrical Engineering
The University of Queensland
Australia