COHEN, Ernie und RYBALCHENKO, Andrey (Hrsg.). [cd]. 2014. 1 st ed. 2014. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642541087.
Elsevier - Harvard (with titles)Cohen, E., Rybalchenko, A. (Hrsg.), 2014. Verified Software: Theorie, Tools, Experiments : 5 th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-54108-7
American Psychological Association 7th editionCohen, E., … Rybalchenko, A. (Hrsg.). (ca. 2014). Verified Software: Theorie, Tools, Experiments : 5 th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers [Cd]. In Programming and Software Engineering (1 st ed. 2014). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-54108-7
Springer - Basic (author-date)Cohen E, Rybalchenko A (Hrsg.) (2014) Verified Software: Theorie, Tools, Experiments : 5 th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Cohen, Ernie/ Rybalchenko, Andrey (Hrsg.), Verified Software: Theorie, Tools, Experiments : 5 th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers, Programming and Software Engineering 2014, .