Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > 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

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


Book Informaton

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

Roderick Bloem; Rayna Dimitrova; Chuchu Fan; Natasha Sharygina

Series

Lecture Notes in Computer Science

Volume

13124

Year of Publication

1st ed. 2022

Publisher

Springer International Publishing

Pages

XIV, 197

Language

en

ISBN

9783030955601, 9783030955618

ARI Id

1665368051152


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 15 of 15 entries
Showing 1 to 15 of 15 entries