×

找到3个软件包(结果1-3)

图拉法勒

12份文件引用(2004–2012)
软件作者: 卡尔蒂基扬·巴尔干;Fornet,塞德里克;安德鲁·戈登(Andrew D.Gordon)。;里卡多·普切拉
相关软件: Spi2Java;ProVerify;AVISPA…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

RADA公司

4份文件引用(2015–2018)
软件作者: Pham,T.,Whalen,M.W。
相关软件: CVC4;z3;大锤…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

描述X

在0个文档中引用
软件作者: 弗拉维奥·里佐洛
相关软件: ——
主要字段: ——

筛选结果依据…