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

Full text!
Format:
e-book
Title:
Software Verification : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
Author:
Bloem, Roderick.; Dimitrova, Rayna; Fan, Chuchu; Sharygina, Natasha
Language:
English
Publisher:
Cham Springer International Publishing AG 2022
ISBN:
3-030-95560-5
3-030-95561-3
Permalink:
http://bibtest.howest.be/catalog/ebk03:21282075700041?locale=en