Model Checking Software
Subtitle: 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings
Publisher: Springer
Published: 2023
Language: eng
ISBN-13: 9783031321566
Subjects: Mathematics