Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II


Book Informaton

Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

Author

Shuvendu K. Lahiri; Chao Wang

Series

Lecture Notes in Computer Science

Volume

12225

Year of Publication

1st ed. 2020

Publisher

Springer International Publishing

Pages

XVIII, 683

Language

EN

ISBN

9783030532901, 9783030532918

ARI Id

1665264601802


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 20 of 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xviii
1-1
3-14
15-27
28-39
40-63
64-76
77-100
101-125
126-148
149-149
151-164
165-177
178-189
190-202
203-224
225-252
253-253
255-278
279-303
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries