铁人舰队 16篇文献引用(2017–2023) 软件作者： Hawblitzel，C。；豪厄尔，J。；卡普里索斯，M。；Lorch，J.R。；巴诺，B。；罗伯茨，M.L。；塞蒂，S.T.V。；齐尔，B 相关软件： z3；达夫尼；常春藤… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
视频流 在0个文档中引用 软件作者： 马诺伊·库马尔（Manoj Kumar）、穆罕默德·巴巴耶扎德（Mohammad Babaeizadeh）、杜米特鲁·埃尔汉（Dumitru Erhan 相关软件： nsf；PixelCNN++；WaveGlow… 主要字段： ——