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
9783031906435
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-90643-5