Book

Runtime Verification

by Lu Feng, Dana Fisman