Coherent functions and program checkers
Coherent functions and program checkers
复制标题
一致的功能和程序检查器
DOI:
--
复制
发表时间:
1990
期刊:
影响因子:
--
通讯作者:
A. Yao
中科院分区:
文献类型:
--
作者:
A. Yao