Project's Aim: Safety for Computer Systems

THE SEATTLE TIMES ARTICLE: 5/15/06