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)

by Roderick Bloem (Editor), Chuchu Fan (Editor), Natasha Sharygina (Editor), Rayna Dimitrova (Editor)

$62.23

Quantity

10 in stock

More Information

Format: Paperback
Pages: 211
Edition: 1st ed. 2022

ISBN 13: 9783030955601