Chockler, H. und Weissenbacher, G. (Hrsg.) (2018) Computer Aided Verification : 30 th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, Flo C 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II [cd]. [Erscheinungsort nicht ermittelbar]: Springer Nature.
Chicago Manual of Style 17th edition (full note)Chockler, Hana, und Georg Weissenbacher, Hrsg. Computer Aided Verification : 30 th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, Flo C 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II. Cd. [Erscheinungsort nicht ermittelbar]: Springer Nature, [2018?], [Erscheinungsort nicht ermittelbar]: Springer Nature, [2018?].
American Psychological Association 7th editionChockler, H., … Weissenbacher, G. (Hrsg.). (ca. 2018). Computer Aided Verification : 30 th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, Flo C 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II [Cd]. Springer Nature.
Modern Language Association 9th editionChockler, H., und G. Weissenbacher, Herausgeber. Computer Aided Verification : 30 th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, Flo C 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II. cd, Springer Nature, 2018.
ISO-690 (author-date, Deutsch)CHOCKLER, Hana und Georg WEISSENBACHER (Hrsg.). [Erscheinungsort nicht ermittelbar]: Springer Nature. ISBN 9783319961422