TY  - CONF

T1  - Verifying data refinements using a model checker

JO  - FORMAL ASPECTS OF COMPUTING

PY  - 2006/09/01

AU  - Smith G

AU  - Derrick J

ED  - 

DO  - DOI: 10.1007/s00165-006-0002-7

VL  - 18

IS  - 3

SP  - 264

EP  - 287

Y2  - 2024/12/22

ER  -