(2020). Runtime Verification. Springer Berlin Heidelberg.
Citação norma ChicagoRuntime Verification. Springer Berlin Heidelberg, 2020.
Citação norma MLARuntime Verification. Springer Berlin Heidelberg, 2020.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.