• 一种用于指针程序验证的...
• 一种基于指针逻辑的代码...
• 处理指针相等关系不确定...
• 一种用于指针程序安全性...
• 用于指针逻辑的自动定理...
• 苏宁2013年方针目标论证...
• 对程序法定原则 论证逻辑...