Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 202
by Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu Paperback 2024
- Author: Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
- ISBN 13: 9789819606160
- ISBN 10: 9819606160
- Publication Year: 2024
- Language: English
Specifications
| Index-10 | 9819606160 |
|---|---|
| Index-13 | 9789819606160 |
| Language | English |