Runtime Verification

MLA

Finkbeiner, and Leonardo Mariani. Runtime Verification. Springer International Publishing, 2019.

APA

Finkbeiner, F., & Mariani, L. (2019). Runtime Verification. Springer International Publishing.

Chicago

Finkbeiner, and Leonardo Mariani. Runtime Verification. : Springer International Publishing, 2019.