TY  - JOUR

T1  - Abstract Testing, Proof and Automation: An Integrated Approach

JO  - Citeseer

PY  - 2000/01/01

AU  - Burton S

AU  - Clark J

AU  - McDermid JA

ED  - 

Y2  - 2024/12/22

ER  -