CHOCKLER, Hana und WEISSENBACHER, Georg (Hrsg.). [Erscheinungsort nicht ermittelbar]: Springer Nature. ISBN 9783319961453.
Elsevier - Harvard (with titles)Chockler, H., 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 I. Springer Nature, [Erscheinungsort nicht ermittelbar].
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 I [Cd]. Springer Nature.
Springer - Basic (author-date)Chockler H, 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 I. Springer Nature, [Erscheinungsort nicht ermittelbar]
Juristische Zitierweise (Stüber) (Deutsch)Chockler, Hana/ Weissenbacher, Georg (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 I, [Erscheinungsort nicht ermittelbar] 2018.