@misc{indiciae00908aab8fb2,
  title = {Presentation for DECOVALEX 7th workshop.},
  author = {Wang, Yifeng},
  year = {2019},
  url = {https://www.osti.gov/biblio/1644847},
  note = {Source identifier: 1644847}
}