MLA

Lu Feng, and Dana Fisman. Runtime Verification. Springer International Publishing, 2021.

APA

Lu Feng, L. Feng, & Fisman, D. (2021). Runtime Verification. Springer International Publishing.

Chicago

Lu Feng, and Dana Fisman. Runtime Verification. : Springer International Publishing, 2021.