@misc{indiciaef65eff7ea1a3,
  title = {Maximizing Verification Quality \& Resources with Formal and UVM},
  author = {Lim, Chester N},
  year = {2020},
  url = {https://ntrs.nasa.gov/citations/20220000923},
  note = {Source identifier: 20220000923}
}