SymDiff公司 引用于20份文件(2012–2023) 软件作者: Lahiri,S.、Hawblitzel,C.、Kawaguchi,M.、Rebelo,H。 相关软件: z3;布吉;CBMC… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…
西格玛* 13份文件引用(2013–2022) 软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić) 相关软件: 拉利布;libalf;z3… 主要字段: 计算机科学(68-XX)