Results
|
|
1.
|
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 / Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina (eds.). by Series: Lecture notes in computer science ; 13124. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type:  Text; Format:
available online
 ; Literary form:
Not fiction
Publication details: Cham : Springer, 2022
Availability: Items available for loan: e-Library (1).
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|