TY  - RPRT
TI  - The role of formalism in system requirements (full version)
AU  - Jean-Michel Bruel
AU  - Sophie Ebersold
AU  - Florian Galinier
AU  - Alexandr Naumchev
AU  - Manuel Mazzara
AU  - Bertrand Meyer
PY  - 2020
UR  - https://arxiv.org/abs/1911.02564
ID  - 1911.02564
ER  -