Вы здесь
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2020
Ключевые слова:
Стр.:
669 p.
Редактор:
Место издания:
Издательство:
Источник:
Том:
12224
Карточка:
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020Ed. by Lahiri S.K , Wang Ch..-Berlin.: Springer, 2020.-Vol. 12224.-669 p.-(Lecture Notes in Computer Science).