Bringing the WebAssembly Standard up to Speed with SpecTec

Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, Andreas Rossberg

Research output: Contribution to journalArticlepeer-review

Search results