MLA

Deshmukh, and Dejan Ničković. Runtime Verification. Springer International Publishing, 2020.

APA

Deshmukh, D., & Ničković, D. (2020). Runtime Verification. Springer International Publishing.

Chicago

Deshmukh, and Dejan Ničković. Runtime Verification. : Springer International Publishing, 2020.