[PDF]Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, ...

Bibliographic Information

• Book Title: Verification, Model Checking, and Abstract Interpretation

• Book Subtitle: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

• Editors: Bernd Finkbeiner, Thomas Wies

• Series Title: Lecture Notes in Computer Science

• DOI: https://doi.org/10.1007/978-3-030-94583-1

• Publisher: Springer Cham

• eBook Packages: Computer Science, Computer Science (R0)

• Copyright Information: Springer Nature Switzerland AG 2022

• Softcover ISBN: 978-3-030-94582-4Published: 14 January 2022

• eBook ISBN: 978-3-030-94583-1Published: 13 January 2022

• Series ISSN: 0302-9743

• Series E-ISSN: 1611-3349

• Edition Number: 1

• Number of Pages: X, 520

• Number of Illustrations: 74 b/w illustrations, 80 illustrations in colour