班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
InVeSt公司 在10份文件中引用(1999–2013) 软件作者： Bensalem S、Lakhnech Y、Owre S 相关软件： PVS；TREX公司；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）