TY  - RPRT
TI  - From Contracts in Structured English to CL Specifications
AU  - Seyed M. Montazeri
AU  - Nivir K. S. Roy
AU  - Gerardo Schneider
PY  - 2011
DO  - 10.4204/eptcs.68.6
UR  - https://arxiv.org/abs/1109.2657
ID  - 1109.2657
ER  -