Вы здесь

Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2022
Стр.: 
520 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
13182
Карточка: 

Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022/Ed. by Finkbeiner B., Wies T..-Berlin.: Springer, 2022.-Vol. 13182.-520 p.-(Lecture Notes in Computer Science).