Runtime Verification

MLA

Hutchison, David, and Serdar Tasiran. Runtime Verification. Springer Berlin Heidelberg, 2013.

APA

Hutchison, D., & Tasiran, S. (2013). Runtime Verification. Springer Berlin Heidelberg.

Chicago

Hutchison, David, and Serdar Tasiran. Runtime Verification. : Springer Berlin Heidelberg, 2013.