Runtime Verification

MLA

Colombo, Martin Leucker, and Martin Leucker. Runtime Verification. Springer International Publishing, 2018.

APA

Colombo, C., Martin Leucker, M. Leucker, & Leucker, M. (2018). Runtime Verification. Springer International Publishing.

Chicago

Colombo, Martin Leucker, and Martin Leucker. Runtime Verification. : Springer International Publishing, 2018.