@misc{indiciaeafe22a3ef437,
  title = {"Boring formal methods" or "Sherlock Holmes deduction methods"?},
  author = {Maria Spichkova},
  year = {2016},
  url = {https://arxiv.org/abs/1612.01682},
  note = {Source identifier: 1612.01682}
}