TY  - RPRT
TI  - A contract-based method to specify stimulus-response requirements
AU  - Alexandr Naumchev
AU  - Manuel Mazzara
AU  - Bertrand Meyer
AU  - Jean-Michel Bruel
AU  - Florian Galinier
AU  - Sophie Ebersold
PY  - 2017
UR  - https://arxiv.org/abs/1704.04905
ID  - 1704.04905
ER  -