TY  - JOUR

T1  - Temporal-logic property preservation under Z refinement

JO  - Formal Aspects of Computing

PY  - 2011/01/01

AU  - Derrick J

AU  - Smith G

ED  - 

SP  - 1

EP  - 24

Y2  - 2025/03/11

ER  -