《智能系统学报》
过刊查询页面
关键词中包括
unified mathematical in-duction
的文章
1
基于统一无穷理论的软件测试可穷尽性研究
何智涛
1
, 何华灿
2
, 刘超
1
2014年6期 [641-652][
摘要
](
3512
)(
3
)
DOI:
10.3969/j.issn.1673-4785.201308040