Online Library TheLib.net » Author books / Книги автора Roderick Bloem (editor) Rayna Dimitrova (editor) Chuchu Fan (editor) Natasha Sharygina (editor)
book Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)
Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, ... (Lecture Notes in Computer Science, 13124)
pdf
00
13.02.2024
0
0
Read online