Cite Them Right 11th edition - Harvard

Dillig, I. und Tasiran, S. (Hrsg.) (2019) Computer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I [cd]. [Erscheinungsort nicht ermittelbar]: Springer Nature.

Chicago Manual of Style 17th edition (full note)

Dillig, Isil, und Serdar Tasiran, Hrsg. Computer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. Cd. [Erscheinungsort nicht ermittelbar]: Springer Nature, [2019?], [Erscheinungsort nicht ermittelbar]: Springer Nature, [2019?].

American Psychological Association 7th edition

Dillig, I., … Tasiran, S. (Hrsg.). (ca. 2019). Computer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I [Cd]. Springer Nature.

Modern Language Association 9th edition

Dillig, I., und S. Tasiran, Herausgeber. Computer Aided Verification : 31 st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I. cd, Springer Nature, 2019.

ISO-690 (author-date, Deutsch)

DILLIG, Isil und Serdar TASIRAN (Hrsg.). [Erscheinungsort nicht ermittelbar]: Springer Nature. ISBN 9783030255404

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