%R CaltechCampusPubs:20160405-110946979
%P 30-32
%N 8
%A Trity Pourbahrami
%T Research Note - Ruling Out Bad Behavior: Designing Software to Make Extremely Dangerous Consequences Not Just "Unlikely" but "Impossible"
%I California Institute of Technology
%L caltechcampuspubs3005
%D 2011
%J ENGenious