Formal Methods and Software Engineering
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings
Edición de la obra Formal Methods and Software Engineering
| Autor | Shang-Wei Lin, Zhe Hou, Brendan Mahoney |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2020 |
| Idioma | inglés |
| ISBN-13 | 9783030634056 |
| Número de Cutter | L735f |