Runtime Verification

MLA

Thao Dang, and Volker Stolz. Runtime Verification. Springer International Publishing, 2022.

APA

Thao Dang, T. Dang, & Stolz, V. (2022). Runtime Verification. Springer International Publishing.

Chicago

Thao Dang, and Volker Stolz. Runtime Verification. : Springer International Publishing, 2022.