科内尔公司 1份文件引用(2020) 软件作者： 马利亚阿尔普特；丹尼尔·帕尔多（Daniel Pardo）；艾丽西亚·维拉纽埃娃 相关软件： 金级规范；莫德；z3… 主要字段： 计算机科学（68-XX）