TY  - RPRT
TI  - Wasm SpecTec: Engineering a Formal Language Standard
AU  - Joachim Breitner
AU  - Philippa Gardner
AU  - Jaehyun Lee
AU  - Sam Lindley
AU  - Matija Pretnar
AU  - Xiaojia Rao
AU  - Andreas Rossberg
AU  - Sukyoung Ryu
AU  - Wonho Shin
AU  - Conrad Watt
AU  - Dongjun Youn
PY  - 2023
UR  - https://arxiv.org/abs/2311.07223
ID  - 2311.07223
ER  -