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 II

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

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

Author

Alexandra Silva; K. Rustan M. Leino

Series

Lecture Notes in Computer Science

Volume

12760

Year of Publication

1st ed. 2021

Publisher

Springer International Publishing

Pages

XXIII, 940

Language

en

ISBN

9783030816872, 9783030816889

ARI Id

1665328839870

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 7 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo