Formal Methods
- Autor
- André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
- Matèria
- Editor
- Springer Nature
- Data publicació
- 2025
- Identificador
- 9783031711626
- Col·lecció
- Accés https://link.springer.com/openurl?genre=book&isbn=978-3-031-71162-6