DMCA

A Brief Account of Runtime Verification (2008)

by Martin Leucker , Christian Schallhart
Citations:69 - 0 self