@misc{indiciae354ddd715aae,
  title = {Algorithm Selection for Software Verification using Graph Neural Networks},
  author = {Will Leeson and Matthew B Dwyer},
  year = {2023},
  url = {https://arxiv.org/abs/2201.11711},
  note = {Source identifier: 2201.11711}
}