Computability Classes for Enforcement Mechanisms (2003)

by Kevin W. Hamlen , Greg Morrisett , Fred B. Schneider
Venue:ACM Transactions on Programming Languages and Systems
Citations:83 - 18 self