Processes against tests: On defining contextual equivalences

Processes against tests: On defining contextual equivalences
复制标题

针对测试的流程:关于定义上下文等价

DOI:
--
复制
发表时间:
2022
期刊:
J. Log. Algebraic Methods Program.
影响因子:
--
通讯作者:
Daniele Varacca
Daniele Varacca
中科院分区:
--
文献类型:
--
作者:
Clément Aubert;Daniele Varacca

文献摘要

被引文献

相似文献