@misc{indiciae5515a032975c,
  title = {How We Built Cedar: A Verification-Guided Approach},
  author = {Craig Disselkoen and Aaron Eline and Shaobo He and Kyle Headley and Michael Hicks and Kesha Hietala and John Kastner and Anwar Mamat and Matt McCutchen and Neha Rungta and Bhakti Shah and Emina Torlak and Andrew Wells},
  year = {2024},
  url = {https://arxiv.org/abs/2407.01688},
  note = {Source identifier: 2407.01688}
}