Runtime Verification

MLA

Barringer, Howard, et al. Runtime Verification. Springer Berlin Heidelberg, 2010.

APA

Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Kanade, T., Lee, I., Pace, G., Roşu, G., Sokolsky, O., & Tillmann, N. (2010). Runtime Verification. Springer Berlin Heidelberg.

Chicago

Barringer, Howard, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Takeo Kanade, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, and Nikolai Tillmann. Runtime Verification. : Springer Berlin Heidelberg, 2010.