@misc{indiciae963b96a27d2f,
  title = {A Domain-Specific Language for Verifying Software Requirement Constraints},
  author = {Marzina Vidal and Tiago Massoni and Franklin Ramalho},
  year = {2019},
  url = {https://arxiv.org/abs/1911.02679},
  note = {Source identifier: 1911.02679}
}