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