Lectures on Runtime Verification

MLA

Bartocci, Yliès Falcone, and Yliès Falcone. Lectures On Runtime Verification. Springer International Publishing, 2018.

APA

Bartocci, B., Yliès Falcone, Y. Falcone, & Falcone, Y. (2018). Lectures on Runtime Verification. Springer International Publishing.

Chicago

Bartocci, Yliès Falcone, and Yliès Falcone. Lectures On Runtime Verification. : Springer International Publishing, 2018.