(2020). Runtime Verification. Springer Berlin Heidelberg.
Παραπομπή Chicago StyleRuntime Verification. Springer Berlin Heidelberg, 2020.
Παραπομπή MLARuntime Verification. Springer Berlin Heidelberg, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.