@misc{indiciaec64428b9950b,
  title = {Software Verification of VARPOW},
  author = {Zhong, Zhaopeng [Argonne National Laboratory (ANL), Argonne, IL (United States)]},
  year = {2024},
  doi = {10.2172/2500768},
  url = {https://www.osti.gov/biblio/2500768},
  note = {Source identifier: 2500768}
}