DMCA

A Brief Account of Runtime Verification (2008)

by Martin Leucker , Christian Schallhart
Citations:80 - 3 self