%0 Journal Article
%A Pourbahrami, Trity
%A HASH(0x55b650b41f80),
%D 2011
%F caltechcampuspubs:3005
%I California Institute of Technology
%J ENGenious
%N 8
%P 30-32
%T Research Note - Ruling Out Bad Behavior: Designing Software to Make Extremely Dangerous Consequences Not Just "Unlikely" but "Impossible"
%U https://resolver.caltech.edu/CaltechCampusPubs:20160405-110946979