APA (7th ed.) Citation

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 Style (17th ed.) Citation

Barringer, Howard, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore RoΕu, Oleg Sokolsky, and 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 ed.) Citation

Barringer, Howard, et al. Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer Berlin Heidelberg, 2010.