First page
Back
Continue
Last page
Overview
Graphics
Implementation
Bootstrapping:
auditors should be functional
auditors should be confined
use (built-in) auditors for this!