Formal Methods Teaching
5th International Workshop, FMTea 2023, lübeck, Germany, March 6, 2023, Proceedings
Edición de la obra Formal Methods Teaching
| Autor | Catherine Dubois, Pierluigi San Pietro |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2023 |
| Idioma | inglés |
| ISBN-13 | 9783031275333 |
| Número de Cutter | D815f |