@misc{indiciaece47fbfdb5e2,
  title = {Towards Classification of Lightweight Formal Methods},
  author = {Anna Zamansky and Maria Spichkova and Guillermo Rodriguez-Navas and Peter Herrmann and Jan Olaf Blech},
  year = {2018},
  url = {https://arxiv.org/abs/1807.01923},
  note = {Source identifier: 1807.01923}
}