Formal Methods
25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
38 497
Ft
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods...