TY  - RPRT
TI  - Design and implementation of a verified interpreter for additive manufacturing programs: Experience report
AU  - Sottile, M J
AU  - Tekriwal, M
PY  - 2024
DO  - 10.1145/3677998.3678221
UR  - https://www.osti.gov/biblio/2440340
ID  - 2440340
ER  -