Runtime Verification

MLA

Falcone, Ylies. Sanchez, Cesar, and César Sánchez. Runtime Verification. Springer International Publishing, 2016.

APA

Falcone, C., & Sánchez, C. (2016). Runtime Verification. Springer International Publishing.

Chicago

Falcone, Ylies. Sanchez, Cesar., and César Sánchez. Runtime Verification. : Springer International Publishing, 2016.