Runtime Verification

MLA

Bartocci, and Rupak Majumdar. Runtime Verification. Springer International Publishing, 2015.

APA

Bartocci, B., & Majumdar, R. (2015). Runtime Verification. Springer International Publishing.

Chicago

Bartocci, and Rupak Majumdar. Runtime Verification. : Springer International Publishing, 2015.