徐家福 朱鸿 白赣洪 火清宁 张朝良

自动工具 求解程序方程 程序综合 软件自动化 软件需求分析 程序代数 函数式程序设计 一致性和完备性的自动检查

南京大学软件研究所 南京大学计算机科学系 南京大学计算机软件研究所