Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

Author

Bernd Finkbeiner; Thomas Wies

Series

Lecture Notes in Computer Science

Volume

13182

Year of Publication

1st ed. 2022

Publisher

Springer International Publishing

Pages

X, 520

Language

en

ISBN

9783030945824, 9783030945831

ARI Id

1665361322518


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 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 26 entries
Chapters/HeadingsAuthor(s)PagesInfo
i-x
1-19
20-42
43-68
69-92
93-107
108-126
127-150
151-173
174-196
197-218
219-241
242-262
263-284
285-300
301-318
319-331
332-354
355-377
378-399
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 26 entries