Search

You searched for: Auteur Dimitrova, Rayna Remove constraint Auteur: Dimitrova, Rayna
1 entry found
Number of results to display per page

Search 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
thumbnail
Full text!
Author:
Bloem, Roderick.; Dimitrova, Rayna; Fan, Chuchu; Sharygina, Natasha
Publisher:
Cham Springer International Publishing AG 2022
Format:
e-book