MLA

Colombo, Christian, and Gordon J Pace. Runtime Verification : A Hands-on Approach In Java. Cham: Springer International Publishing AG, 2022.

APA

Colombo, C., & Pace, G. J. (2022). Runtime Verification : A Hands-On Approach in Java. Cham: Springer International Publishing AG.

Chicago

Colombo, Christian., and Gordon J Pace. Runtime Verification : A Hands-On Approach In Java. Cham: Springer International Publishing AG, 2022.