@misc{indiciae0b16828cb494,
  title = {Design and implementation of a verified interpreter for additive manufacturing programs: Experience report},
  author = {Sottile, M J and Tekriwal, M},
  year = {2024},
  doi = {10.1145/3677998.3678221},
  url = {https://www.osti.gov/biblio/2440340},
  note = {Source identifier: 2440340}
}