دانلود کتاب Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
by Georgiana Caltais, Christian Schilling
|
عنوان فارسی: نرم افزار بررسی مدل: بیست و نهمین سمپوزیوم بین المللی، SPIN 2023، پاریس، فرانسه، 26 تا 27 آوریل 2023، مجموعه مقالات |