TY  - JOUR
AU  - Vadim Okun
AU  - Paul Black
AU  - Y Yesha
C2  - Acm Transactions on Software Engineering and Methodology
DA  - 2004-06-01
LA  - en
PB  - Acm Transactions on Software Engineering and Methodology
PY  - 2004
TI  - Fault Classes and Fault Coupling in Boolean Specifications
ER  -