Вы здесь

Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021

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

Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021/Ed. by Bloem R., Dimitrova R., Fan Ch., Sharygina N..-Berlin.: Springer, 2022.-Vol. 13124.-197 p.-(Lecture Notes in Computer Science).