Formal Methods and Software Engineering : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022,
by Adrian Riesco, Min Zhang Paperback 2022
- Author: Adrian Riesco, Min Zhang
- ISBN 13: 9783031172434
- ISBN 10: 3031172434
- Publication Year: 2022
- Language: English
Specifications
| Index-10 | 3031172434 |
|---|---|
| Index-13 | 9783031172434 |
| Language | English |