Building a trusted computing base Home ToC Prev Up Next 

The Importance of Type Safety