The 22nd International Conference on Formal Engineering Methods (ICFEM 2020) , 2-6 November 2020, Singapore.
Guangdong Bai
Associate Professor
School of Information Technology and Electrical Engineering
The University of Queensland
Australia
Associate Professor
School of Information Technology and Electrical Engineering
The University of Queensland
Australia
The 22nd International Conference on Formal Engineering Methods (ICFEM 2020) , 2-6 November 2020, Singapore.