@misc{indiciae3bfe705ba662,
  title = {Multi-Rigor Agile Verification and Rapid Prototyping for Formally Verified Software},
  author = {Landin, Kirk Timothy},
  year = {2024},
  doi = {10.2172/2463001},
  url = {https://www.osti.gov/biblio/2463001},
  note = {Source identifier: 2463001}
}