Lahiri, S.K. und Wang, C. (Hrsg.) (2020) Computer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I [cd]. 1 st ed. 2020, Theoretical Computer Science and General Issues. 1 st ed. 2020. Cham: Springer International Publishing. doi:10.1007/978-3-030-53288-8.
Chicago Manual of Style 17th edition (full note)Lahiri, Shuvendu K, und Chao Wang, Hrsg. Computer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. Cd. Theoretical Computer Science and General Issues. 1 st ed. 2020. Cham: Springer International Publishing, [2020?], Cham: Springer International Publishing, [2020?]. https://doi.org/10.1007/978-3-030-53288-8.
American Psychological Association 7th editionComputer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I. (ca. 2020). [Cd]. In S. K. Lahiri & C. Wang (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2020). Springer International Publishing. https://doi.org/10.1007/978-3-030-53288-8
Modern Language Association 9th editionLahiri, S. K., und C. Wang, Herausgeber. „Computer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I“. Theoretical Computer Science and General Issues, 1 st ed. 2020, cd, Springer International Publishing, 2020, https://doi.org/10.1007/978-3-030-53288-8.
ISO-690 (author-date, Deutsch)LAHIRI, Shuvendu K und Chao WANG (Hrsg.). 1 st ed. 2020. Cham: Springer International Publishing. ISBN 9783030532888