Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation
Autor
Rayna Dimitrova, Ori Lahav, Sebastian Wolff
Matèria
Editor
Springer Nature
Data publicació
2024
Identificador
9783031505249
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-50524-9