@misc{indiciae44778b0d6ad4,
  title = {Formal verification in Coq of program properties involving the global state effect},
  author = {Jean-Guillaume Dumas and Dominique Duval and Burak Ekici and Damien Pous},
  year = {2013},
  url = {https://arxiv.org/abs/1310.0794},
  note = {Source identifier: 1310.0794}
}