TY  - RPRT
TI  - A Domain-Specific Language for Verifying Software Requirement Constraints
AU  - Marzina Vidal
AU  - Tiago Massoni
AU  - Franklin Ramalho
PY  - 2019
UR  - https://arxiv.org/abs/1911.02679
ID  - 1911.02679
ER  -