@misc{indiciae7a6d9e69a7f4,
  title = {Towards a Formal Foundation of Intermittent Computing},
  author = {Milijana Surbatovich and Limin Jia and Brandon Lucia},
  year = {2021},
  doi = {10.1145/3428231},
  url = {https://arxiv.org/abs/2007.15126},
  note = {Source identifier: 2007.15126}
}