Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis
Autor
Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan
Matèria
Editor
Springer Nature
Data publicació
2026
Identificador
9783032087072
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-032-08707-2