Book

Runtime Verification

by Ezio Bartocci, Rupak Majumdar