@misc{indiciae39e4842648bb,
  title = {VST-Flow: Fine-grained low-level reasoning about real-world C code},
  author = {Samuel Gruetter and Toby Murray},
  year = {2017},
  url = {https://arxiv.org/abs/1709.05243},
  note = {Source identifier: 1709.05243}
}