Joachim Breitner等人：Wasm SpecTec：设计正式语言标准。(2023) 日记账/corr/abs-2311-07223 10.48550/ARXIV.2311.07223 Wasm SpecTec：设计正式语言标准。 11 约阿希姆·布雷特纳 1 菲利普·加德纳 2 李在云 三 萨姆·林德利 4 马蒂亚·普雷特纳 5 肖家饶 6 安德烈亚斯·罗斯伯格 7 苏京琉 8 Wonho Shin公司 9 康拉德·瓦特 10 杨东军（Dongjun Youn） 11 CoRR公司 CoRR公司 abs/2311.07223 2023 dblp记录'journals/corr/abs-2311-07223'的RDF数据的来源信息 2023-11-15T16:23:10+0100