Formal Methods
25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings
Edición de la obra Formal Methods
| Autor | Marsha Chechik, Joost-Pieter Katoen, Martin Leucker |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031274800 |
| Número de Cutter | C514f |