Runtime Verification

MLA

Sokolsky, Oleg, and Serdar Taşıran. Runtime Verification. Springer Berlin Heidelberg, 2007.

APA

Sokolsky, O., & Taşıran, S. (2007). Runtime Verification. Springer Berlin Heidelberg.

Chicago

Sokolsky, Oleg, and Serdar Taşıran. Runtime Verification. : Springer Berlin Heidelberg, 2007.