@misc{indiciae716e5a5ab993,
  title = {The First Tri-Lab Workshop on Formal Verification: Capabilities, Challenges, Research Opportunities, and Exemplars},
  author = {Pollard, Samuel Douglas and Aytac, Jon M. and Kellison, Ariel Eileen and Laguna, Ignacio and Nedunuri, Srinivas and Reis, Sabrina Arianne and Sottile, Matthew J. and Thornquist, Heidi Krista},
  year = {2024},
  doi = {10.2172/2430026},
  url = {https://www.osti.gov/biblio/2430026},
  note = {Source identifier: 2430026}
}