TY  - JOUR

T1  - Constraint-oriented style for object-oriented formal specification

JO  - IEE Proceedings: Software

PY  - 1998/01/01

AU  - Bolognesi T

AU  - Derrick J

ED  - 

DO  - DOI: 10.1049/ip-sen:19986907

VL  - 145

IS  - 2-3

SP  - 61

EP  - 69

Y2  - 2024/12/22

ER  -