TY  - RPRT
TI  - Application of classical compilation techniques for syntactic and semantic analysis of specification written in Object Z
AU  - Fethi Fkih
AU  - Kais Haddar
PY  - 2012
UR  - https://arxiv.org/abs/1210.3858
ID  - 1210.3858
ER  -