APA aipamena

Legay. (2013). Runtime Verification (1.). Springer Berlin Heidelberg.

Chicago Style aipamena

Legay. Runtime Verification. 1. Springer Berlin Heidelberg, 2013.

MLA aipamena

Legay. Runtime Verification. 1. Springer Berlin Heidelberg, 2013.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.