Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings

Shang-Wei Lin 0001, Zhe Hou, Brendan Mahoney, editors, Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings. Volume 12531 of Lecture Notes in Computer Science, Springer, 2020. [doi]

Conference: icfem2020

Editors

Shang-Wei Lin 0001

This author has not been identified. Look up 'Shang-Wei Lin 0001' in Google

Zhe Hou

This author has not been identified. Look up 'Zhe Hou' in Google

Brendan Mahoney

This author has not been identified. Look up 'Brendan Mahoney' in Google