George W. Smith. Fault detection test derivation using Boolean difference techniques. In John J. Donovan, Rosemary Shields, editors, Proceedings of the ACM annual conference, ACM 1972, Boston, MA, USA, August 1972, Volume 1. pages 369-378, ACM, 1972. [doi]
@inproceedings{Smith72-4, title = {Fault detection test derivation using Boolean difference techniques}, author = {George W. Smith}, year = {1972}, doi = {10.1145/800193.569946}, url = {https://doi.org/10.1145/800193.569946}, researchr = {https://researchr.org/publication/Smith72-4}, cites = {0}, citedby = {0}, pages = {369-378}, booktitle = {Proceedings of the ACM annual conference, ACM 1972, Boston, MA, USA, August 1972, Volume 1}, editor = {John J. Donovan and Rosemary Shields}, publisher = {ACM}, isbn = {978-1-4503-7491-0}, }