Runtime Verification

MLA

Lahiri, and Giles Reger. Runtime Verification. Springer International Publishing, 2017.

APA

Lahiri, L., & Reger, G. (2017). Runtime Verification. Springer International Publishing.

Chicago

Lahiri, and Giles Reger. Runtime Verification. : Springer International Publishing, 2017.