ISBN 9783030945824 books & textbook
Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, ... Computer Science and General Issues)
Finkbeiner, Bernd Wies, Thomas
Springer /2022-01-14 Paperback / 532 Pages
isbn-10: 3030945820 / isbn-13: 9783030945824
