Book

Runtime Verification

by Oleg Sokolsky