Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments
Autor
Jonathan Protzenko, Azalea Raad
Matèria
Editor
Springer Nature
Data publicació
2025
Identificador
9783031866951
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-86695-1