@article{article, title = {{Abstract Testing, Proof and Automation: An Integrated Approach}}, url = {{}}, year = {{2000}}, month = {{1}}, author = {{Burton S and Clark J and McDermid JA}}, journal = {{Citeseer}}, note = {{Accessed on 2024/12/20}}}