Cite Them Right 11th edition - Harvard

Lahiri, S.K. und Wang, C. (2020) Computer Aided Verification [cd]. [Erscheinungsort nicht ermittelbar]: Springer Nature.

Chicago Manual of Style 17th edition (full note)

Lahiri, Shuvendu K., und Chao Wang. Computer Aided Verification. Cd. [Erscheinungsort nicht ermittelbar]: Springer Nature, [2020?], [Erscheinungsort nicht ermittelbar]: Springer Nature, [2020?].

American Psychological Association 7th edition

Lahiri, S. K., & Wang, C. (ca. 2020). Computer Aided Verification [Cd]. Springer Nature.

Modern Language Association 9th edition

Lahiri, S. K., und C. Wang. Computer Aided Verification. cd, Springer Nature, 2020.

ISO-690 (author-date, Deutsch)

LAHIRI, Shuvendu K. und Chao WANG, 2020. Computer Aided Verification. [Erscheinungsort nicht ermittelbar]: Springer Nature

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.