×

找到8份文件(结果1-8)

100
马查克斯

一个用于WebAssembly的自我认证编译框架。 (英语) Zbl 1472.68032

Henglein,Fritz(ed.)等人,验证、模型检查和抽象解释。第22届国际会议,VMCAI 2021年,丹麦哥本哈根,2021年1月17-19日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12597127-148(2021年)。
理学硕士:68牛顿 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

证明被反驳:符号模型检验器作为证明生成器。 (英语) Zbl 1274.68174

Dams,Dennis(ed.)等人,并发性、组合性和正确性。纪念威廉·保罗·德罗弗的论文。柏林:斯普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿5930221-236(2010)。
理学硕士:68Q60型 68T15型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

筛选结果依据…

文件类型

审查状态

出版年份

分类

全部的 前3名

软件