Runtime Verification : A Hands-On Approach in Java
  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.