TY  - JOUR
AU  - Okun, Vadim
AU  - Black, Paul
AU  - Yesha, Y
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  -