APA (7th ed.) Citation

VSTTE Online, NSV, Christakis, M., Polikarpova, N., Duggirala, P. S., & Schrammel, P. (2020). Software verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : revised selected papers. Springer. https://doi.org/10.1007/978-3-030-63618-0

Chicago Style (17th ed.) Citation

VSTTE Online, NSV, Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, and Peter Schrammel. Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : Revised Selected Papers. Cham, Switzerland: Springer, 2020. https://doi.org/10.1007/978-3-030-63618-0.

MLA (9th ed.) Citation

VSTTE Online, et al. Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020 : Revised Selected Papers. Springer, 2020. https://doi.org/10.1007/978-3-030-63618-0.