@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/10/23}}}