TY  - JOUR

T1  - On using data abstractions for model checking refinements

JO  - ACTA INFORM

PY  - 2007/04/01

AU  - Derrick J

AU  - Wehrheim H

ED  - 

DO  - DOI: 10.1007/s00236-007-0042-3

VL  - 44

IS  - 1

SP  - 41

EP  - 71

Y2  - 2024/10/23

ER  -