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, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
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, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina
ISBN 13: 9783030955601
Format: Paperback
(211 pages)
Publisher: Springer
Published: 22 Feb 2022
Save for later
New : $62.23
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
