Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
Autor
Arie Gurfinkel, Marijn Heule
Matèria
Editor
Springer Nature
Data publicació
2025
Identificador
9783031906534
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-90653-4