TY  - CONF

T1  - Linear temporal logic and Z refinement

JO  - ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS

PY  - 2004/01/01

AU  - Derrick J

AU  - Smith G

ED  - Rattray C

ED  - Maharaj S

ED  - Shankland C

VL  - 3116

SP  - 117

EP  - 131

Y2  - 2024/12/26

ER  -