@misc{indiciae4e71a05700a5,
  title = {IKOS: Sound Static Program Analysis},
  author = {Guillaume Brat},
  url = {https://ntrs.nasa.gov/citations/20220007431},
  note = {Source identifier: 20220007431}
}