%0 Conference Paper %1 Black. %A Black, P. E. %A Okun, V. %A Yesha, Y. %B ASE 2000 15th IEEE International Automated Software Engineering Conference %D 11-15 Sept. 2000 %K mutation_operators formal_specifications %P 81–88 %T Mutation operators for specifications

@inproceedings{Black., added-at = {2013-10-18T15:39:40.000+0200}, author = {Black, P. E. and Okun, V. and Yesha, Y.}, biburl = {https://www.bibsonomy.org/bibtex/215ad334b7765ed6062112c829a66da87/hlackner}, booktitle = {ASE 2000 15th IEEE International Automated Software Engineering Conference}, interhash = {c39ca8327c2d4f55774db94e149165ba}, intrahash = {15ad334b7765ed6062112c829a66da87}, keywords = {mutation_operators formal_specifications}, pages = {81–88}, timestamp = {2013-10-18T15:39:40.000+0200}, title = {Mutation operators for specifications}, year = {11-15 Sept. 2000} }