DMCA

Rule systems for runtime verification: A short tutorial (2009)

Cached

Download Links

by Howard Barringer , Klaus Havelund , David Rydeheard , Alex Groce
Venue:In Proc. of the 9th Int. Workshop on Runtime Verification (RV’09), volume 5779 of LNCS
Citations:13 - 9 self