@misc{yun_2026_23835112,
  author       = {Yun, Kwansub},
  title        = {From Source-Bound Proofs to Reproducible Research
                   Artifacts: An NSRW Case Study
                  },
  month        = oct,
  year         = 2026,
  publisher    = {Zenodo},
  version      = {0.6},
  doi          = {10.5281/zenodo.23835112},
  url          = {https://doi.org/10.5281/zenodo.23835112},
}