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