Runtime Verification

MLA

Leucker, Martin, Takeo Kanade, and Josef Kittler. Runtime Verification. Springer Berlin Heidelberg, 2008.

APA

Leucker, M., Kanade, T., & Kittler, J. (2008). Runtime Verification. Springer Berlin Heidelberg.

Chicago

Leucker, Martin, Takeo Kanade, and Josef Kittler. Runtime Verification. : Springer Berlin Heidelberg, 2008.