TY  - CONF

T1  - Formal program development with approximations

JO  - ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT  IN Z AND B, PROCEEDINGS

PY  - 2005/01/01

AU  - Boiten EA

AU  - Derrick J

ED  - Treharne H

ED  - King S

ED  - Henson M

ED  - Schneider S

VL  - 3455

SP  - 374

EP  - 392

Y2  - 2024/10/23

ER  -