Model Checking Software
Subtitle: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Publisher: Springer
Published: 2024
Language: eng
Number of pages: 260
ISBN-13: 9783031661488