Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Rosu, G., Sokolsky, O. und Tillmann, N. (Hrsg.) (2010) „Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings“, Programming and Software Engineering. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-16612-9.

Barringer, Howard, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, und Nikolai Tillmann, Hrsg. „Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings“. Cd. Programming and Software Engineering. Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2010?]. https://doi.org/10.1007/978-3-642-16612-9.

Barringer, 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

Barringer, H., Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G. Pace, G. Rosu, O. Sokolsky, und N. Tillmann, Herausgeber. „Runtime Verification : First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings“. Programming and Software Engineering, 1 st ed. 2010, cd, Springer Berlin Heidelberg, 2010, https://doi.org/10.1007/978-3-642-16612-9.

BARRINGER, Howard, Ylies FALCONE, Bernd FINKBEINER, Klaus HAVELUND, Insup LEE, Gordon PACE, Grigore ROSU, Oleg SOKOLSKY und Nikolai TILLMANN (Hrsg.). [cd]. 2010. 1 st ed. 2010. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642166129