TY  - CONF

T1  - Can Refinement be Automated?

JO  - REFINE@IFM

PY  - 2008/03/07

AU  - Höfner P

AU  - Struth G

ED  - 

SP  - 197

EP  - 222

Y2  - 2025/12/03

ER  -