中国科学院数学与系统科学研究院期刊网
JSSC
A Quantifier-Elimination Based Heuristic for Automatically Generating Inductive Assertions for Programs
Deepak Kapur
A Quantifier-Elimination Based Heuristic for Automatically Generating Inductive Assertions for Programs
Deepak Kapur
Journal of Systems Science and Complexity . 2006, (3): 307 -330 .