DMCA

A Tutorial on Runtime Verification

by Yliès Falcone A , Klaus Havelund B , Giles Reger C