卢普斯 swMATH ID: 12690 软件作者: F.Zuleger,M.Sinn 描述: LOOPUS:用于计算C程序循环边界的工具。 主页: http://forsyte.at/software/loopus/ 相关软件: Daikon公司;弗拉塔;数学软件 引用于: 2文件 全部的 前5名6位作者引用 2 哈立德·比萨耶斯 2 加尔达洛,Wided 2 拉米亚·拉比德·吉拉尼 2 阿斯玛·卢希奇 2 阿里·米莉 2 奥尔法·姆拉伊 2篇连载文章中引用 1 符号计算杂志 1 逻辑与代数程序设计杂志 在2个字段中引用 2 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 按年份列出的引文