BARRINGER, Howard, FALCONE, Ylies, FINKBEINER, Bernd, HAVELUND, Klaus, LEE, Insup, PACE, Gordon, ROSU, Grigore, SOKOLSKY, Oleg und TILLMANN, Nikolai (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642166129.
Elsevier - Harvard (with titles)Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Rosu, G., Sokolsky, O., Tillmann, N. (Hrsg.), 2010. Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Programming and Software Engineering. https://doi.org/10.1007/978-3-642-16612-9
American Psychological Association 7th editionBarringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Rosu, G., Sokolsky, O., … Tillmann, N. (Hrsg.). (ca. 2010). Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings [Cd]. In Programming and Software Engineering (1 st ed. 2010). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-16612-9
Springer - Basic (author-date)Barringer H, Falcone Y, Finkbeiner B, Havelund K, Lee I, Pace G, Rosu G, Sokolsky O, Tillmann N (Hrsg.) (2010) Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Programming and Software Engineering
Juristische Zitierweise (Stüber) (Deutsch)Barringer, Howard/ Falcone, Ylies/ Finkbeiner, Bernd/ Havelund, Klaus/ Lee, Insup/ Pace, Gordon/ Rosu, Grigore/ Sokolsky, Oleg/ Tillmann, Nikolai (Hrsg.), Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings, Programming and Software Engineering 2010, .