Lahiri, S., & Reger, G. (2020). Runtime Verification. Springer International Publishing.
Chicago Style aipamenaLahiri, Shuvendu, và Giles Reger. Runtime Verification. Springer International Publishing, 2020.
MLA aipamenaLahiri, Shuvendu, và Giles Reger. Runtime Verification. Springer International Publishing, 2020.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.