TY  - JOUR

T1  - Automated verification of refinement laws

JO  - ANN MATH ARTIF INTEL

UR  - http://eprints.whiterose.ac.uk/10049/

PY  - 2009/02/01

AU  - Hofner P

AU  - Struth G

AU  - Sutcliffe G

ED  - 

DO  - DOI: 10.1007/s10472-009-9151-8

VL  - 55

IS  - 1-2

SP  - 35

EP  - 62

Y2  - 2024/12/22

ER  -