Вы здесь

Software Verification: Revised Selected Papers/12th International Conference, VSTTE 2020 and 13th International Workshop,, NSV 2020, Los Angeles,CA,USA, July 2020

Вид: 
Сборник или журнал
Год: 
2020
Стр.: 
239 p.
Место издания: 
Издательство: 
Том: 
12549
Карточка: 

Software Verification: Revised Selected Papers/12th International Conference, VSTTE 2020 and 13th International Workshop,, NSV 2020, Los Angeles,CA,USA, July 2020/Ed. by Christakis M., Polikarpova N., Duggirala P.S., Schrammel P..-Berlin.: Springer, 2020.-Vol. 12549.-239 p.-(Lecture Notes in Computer Science).