DMCA

A Theoretical Basis for Run-time Monitoring of Contracts ⋆

Cached

Download Links

by Marcel Kyas , Cristian Prisacariu , Gerardo Schneider