Вы здесь
Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2021
Ключевые слова:
Стр.:
195 p.
Редактор:
Место издания:
Издательство:
Том:
12864
Карточка:
Model Checking Software: Proc./27th International Symposium, SPIN 2021, Virtual Event, July 2021Ed. by Laarman A., Sokolova A..-Berlin.: Springer, 2021.-Vol. 12864.-195 p.-(Lecture Notes in Computer Science).