Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis
Autor
S. Akshay, Aina Niemetz, Sriram Sankaranarayanan
Matèria
Editor
Springer Nature
Data publicació
2025
Identificador
9783031787096
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-78709-6