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

Full text!
Format:
e-book
Title:
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Author:
Lin; Hou, Zhe; Mahony, Brendan
Language:
English
Publisher:
Springer International Publishing 2020
ISBN:
3-030-63405-1
3-030-63406-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:4100000011665260?locale=en