Runtime Verification

MLA

Bonakdarpour, and Scott A Smolka. Runtime Verification. Springer International Publishing, 2014.

APA

Bonakdarpour, B., & Smolka, S. A. (2014). Runtime Verification. Springer International Publishing.

Chicago

Bonakdarpour, and Scott A Smolka. Runtime Verification. : Springer International Publishing, 2014.