Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26’27, 2023, Proceedings Ebook (yibook.shop)

$10.00

Springer

Category: Tag: