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

Type:

e-book

Titel:

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

Auteur:

Bloem, Roderick.; Dimitrova, Rayna; Fan, Chuchu; Sharygina, Natasha

Taal:

Engels

Uitgever:

Cham Springer International Publishing AG 2022

ISBN:

3-030-95560-5
3-030-95561-3

Permalink:

http://bibtest.howest.be/catalog/ebk03:21282075700041