ISO-690 (author-date, English)

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

Elsevier - Harvard (with titles)

Lahiri, S.K., Wang, C., 2020. Computer Aided Verification. Springer Nature, [Erscheinungsort nicht ermittelbar].

American Psychological Association 7th edition

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

Springer - Basic (author-date)

Lahiri SK, Wang C (2020) Computer Aided Verification. Springer Nature, [Erscheinungsort nicht ermittelbar]

Juristische Zitierweise (Stüber) (Deutsch)

Lahiri, Shuvendu K./ Wang, Chao, Computer Aided Verification, [Erscheinungsort nicht ermittelbar] 2020.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.