Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications
Autor
Sidney C. Nogueira, Ciprian Teodorov
Matèria
Editor
Springer Nature
Data publicació
2025
Identificador
9783031781162
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-031-78116-2