TY  - CONF

T1  - Can Refinement be Automated?

JO  - Electron. Notes Theor. Comput. Sci.

PY  - 2008/01/01

AU  - Höfner P

AU  - Struth G

ED  - 

VL  - 201

SP  - 197

EP  - 222

Y2  - 2024/12/22

ER  -