@misc{indiciae171e317ba197,
  title = {Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers},
  author = {David Monniaux},
  year = {2024},
  url = {https://arxiv.org/abs/2407.08258},
  note = {Source identifier: 2407.08258}
}