Runtime Verification

MLA

Bensalem, Saddek, et al. Runtime Verification. Springer Berlin Heidelberg, 2009.

APA

Bensalem, S., Kanade, T., Peled, D. A, & Kittler, J. (2009). Runtime Verification. Springer Berlin Heidelberg.

Chicago

Bensalem, Saddek, Takeo Kanade, Doron A Peled, and Josef Kittler. Runtime Verification. : Springer Berlin Heidelberg, 2009.