@misc{indiciae6f1060f9f587,
  title = {Wasm SpecTec: Engineering a Formal Language Standard},
  author = {Joachim Breitner and Philippa Gardner and Jaehyun Lee and Sam Lindley and Matija Pretnar and Xiaojia Rao and Andreas Rossberg and Sukyoung Ryu and Wonho Shin and Conrad Watt and Dongjun Youn},
  year = {2023},
  url = {https://arxiv.org/abs/2311.07223},
  note = {Source identifier: 2311.07223}
}