Gaya APA

Legay, A., Bensalem, S. (2013). Runtime Verification . Springer Berlin Heidelberg: Springer.

Gaya MLA

Legay, Axel., Bensalem, Saddek. "Runtime Verification". Springer Berlin Heidelberg: Springer, 2013. E-Book.