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 II [cd]. [Erscheinungsort nicht ermittelbar]: Springer Nature.
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 II. Cd. [Erscheinungsort nicht ermittelbar]: Springer Nature, [2020?], [Erscheinungsort nicht ermittelbar]: Springer Nature, [2020?].
American Psychological Association 7th editionLahiri, S. K., … Wang, C. (Hrsg.). (ca. 2020). Computer Aided Verification : 32 nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II [Cd]. Springer Nature.
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 II. cd, Springer Nature, 2020.
ISO-690 (author-date, Deutsch)LAHIRI, Shuvendu K. und Chao WANG (Hrsg.). [Erscheinungsort nicht ermittelbar]: Springer Nature. ISBN 9783030532918