@misc{indiciae454d924662f8,
  title = {DesCert: Design for Certification},
  author = {Natarajan Shankar and Devesh Bhatt and Michael Ernst and Minyoung Kim and Srivatsan Varadarajan and Suzanne Millstein and Jorge Navas and Jason Biatek and Huascar Sanchez and Anitha Murugesan and Hao Ren},
  year = {2022},
  url = {https://arxiv.org/abs/2203.15178},
  note = {Source identifier: 2203.15178}
}