Formal Methods for Industrial Critical Systems
28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Szerző:
Alessandro Cimatti, Laura Titolo
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
25 099
Ft
This book constitutes the proceedings of the 28th International Conference on Formal Methods for Ind...
