APA-Zitierstil (7. Ausg.)

VMCAI New Orleans, La, Beyer, D., & Zufferey, D. (2020). Verification, model checking, and abstract interpretation: 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

VMCAI New Orleans, La, Dirk Beyer, und Damien Zufferey. Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : Proceedings. Cham: Springer, 2020.

MLA-Zitierstil (9. Ausg.)

VMCAI New Orleans, La, et al. Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020 : Proceedings. Springer, 2020.