TY  - JOUR
AB  - 
VL  - 33
IS  - 7
SN  - 0368-492X
DO  - 10.1108/k.2004.06733gab.006
UR  - https://doi.org/10.1108/k.2004.06733gab.006
AU  - Mann C.J.H.
PY  - 2004
Y1  - 2004/01/01
TI  - Formal Methods – 2003, Oxford, UK
T2  - Kybernetes
PB  - Emerald Group Publishing Limited
Y2  - 2024/04/18
ER  -