Verification, model checking, and abstract interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, proceedings /

Corporate Authors: International Conference on Verification, Model Checking, and Abstract Interpretation Philadelphia, PA, USA)
Group Author: Finkbeiner, Bernd; Wies, Thomas
Published: Springer,
Publication Dates: [2022]
Call Number: TP311.1-532/V516/2022