Runtime Verification

MLA

Legay, Axel; Bensalem, Saddek, and Saddek Bensalem. Runtime Verification. Springer Berlin Heidelberg, 2013.

APA

Legay, S., & Bensalem, S. (2013). Runtime Verification. Springer Berlin Heidelberg.

Chicago

Legay, Axel; Bensalem, Saddek, and Saddek Bensalem. Runtime Verification. : Springer Berlin Heidelberg, 2013.