Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., . . . Tillmann, N. (2010). Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)Barringer, Howard, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore RoΕu, Oleg Sokolsky, και Nikolai Tillmann. Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)Barringer, Howard, et al. Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer Berlin Heidelberg, 2010.
