TY  - RPRT
TI  - SCR3: towards usability of formal methods
AU  - M. Chechik
PY  - 1999
UR  - https://arxiv.org/abs/cs/9906030
ID  - cs/9906030
ER  -