TY  - SER
AU  - Leveson, Nancy G.
AU  - Cha, Stephen S.
AU  - Shimeali, Timothy J.
TI  - The Use of Self Checks and Voting in Software Error Detection an Empirical Study
KW  - Acceptance
KW  - Assertions
KW  - Software Reliability
ER  -