TY  - RPRT
TI  - Modelling and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
AU  - Gustavo Carvalho
AU  - Igor Meira
PY  - 2019
UR  - https://arxiv.org/abs/1910.13553
ID  - 1910.13553
ER  -