Cover of 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

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

by Bernd Finkbeiner, Thomas Wies

Language: English
Published: 2022
Publisher: Springer International Publishing
Pages: 520
ISBN: 9783030945824

Genres: Nonfiction › Science & mathematics › Mathematics Nonfiction › Technology › Computing › Artificial intelligence Nonfiction › Philosophy › Logic