Nathalie Foster;Jeremy Jacob
-;-
Believing the Integrity of a System
Electronic Notes in Theoretical Computer Science (ENTCS)