VMCAI Philadelphia, Pa, & Finkbeiner, B. (2022). Verification, model checking, and abstract interpretation: 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022 : proceedings. Springer.
Chicago Style (17th ed.) CitationVMCAI Philadelphia, Pa, and Bernd Finkbeiner. Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022 : Proceedings. Cham: Springer, 2022.
MLA (9th ed.) CitationVMCAI Philadelphia, Pa, and Bernd Finkbeiner. Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022 : Proceedings. Springer, 2022.
Warning: These citations may not always be 100% accurate.