@misc{indiciaec4f42d557e69,
  title = {Formalizing Ordinary Differential Equations in PVS},
  author = {Kyle Wianecki and Tanner Slagel and Aaron Dutle},
  url = {https://ntrs.nasa.gov/citations/20205005429},
  note = {Source identifier: 20205005429}
}