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

MLA

Finkbeiner, Bernd, and Thomas Wies. Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, Vmcai 2022, Philadelphia, Pa, Usa, January 16-18, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.

APA

Finkbeiner, B., & Wies, T. (2022). Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Cham: Springer International Publishing AG.

Chicago

Finkbeiner, Bernd., and Thomas Wies. Verification, Model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Cham: Springer International Publishing AG, 2022.