Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

MLA

Dragoi, Cezara, Michael Emmi, and Jingbo Wang. Verification, Model Checking, and Abstract Interpretation : 24th International Conference, Vmcai 2023, Boston, Ma, Usa, January 16-17, 2023, Proceedings. Cham: Springer, 2023.

APA

Dragoi, C., Emmi, M., & Wang, J. (2023). Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Cham: Springer.

Chicago

Dragoi, Cezara., Michael Emmi, and Jingbo Wang. Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings. Cham: Springer, 2023.