Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I


Book Informaton

Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

Author

Alexandra Silva; K. Rustan M. Leino

Series

Lecture Notes in Computer Science

Volume

12759

Year of Publication

1st ed. 2021

Publisher

Springer International Publishing

Pages

XXIV, 922

Language

en

ISBN

9783030816841, 9783030816858

ARI Id

1665328839038


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 50 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-xxiv
1-1
3-25
26-45
46-83
84-109
110-134
135-135
137-150
151-174
175-200
201-224
225-248
249-262
263-286
287-300
301-301
303-316
317-340
341-366
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 50 entries