Formal Methods and Software Engineering
24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Edición de la obra Formal Methods and Software Engineering
| Autor | Yi Li, Sofiène Tahar |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9789819975839 |
| Número de Cutter | L693f |