TY  - RPRT
TI  - Formalism of Requirements for Safety-Critical Software: Where Does the Benefit Come From?
AU  - Ibrahim Habli
AU  - Andrew Rae
PY  - 2014
UR  - https://arxiv.org/abs/1404.6802
ID  - 1404.6802
ER  -