TY  - CONF
AU  - Black, Paul
AU  - Okun, Vadim
AU  - Yesha, Yaacov
C2  - Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, 
DA  - 2000-09-15
DO  - https://doi.org/10.1109/ASE.2000.873653
LA  - en
PB  - Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, 
PY  - 2000
TI  - Mutation Operators for Specifications
ER  -