A Type System for Observational Determinism

A Type System for Observational Determinism
复制标题

观察决定论的类型系统

DOI：
--
复制
发表时间：
2008
期刊：
In Proceedings of the 21st IEEE Computer Security Foundations Symposium (CSF 2008), IEEE Computer Society
影响因子：
--
通讯作者：
Tachio Terauchi
Tachio Terauchi
中科院分区：
--
文献类型：
--
作者：
Tachio Terauchi;Alex Aiken;Norihiro Kamide;Norihiro Kamide;Tachio Terauchi

文献摘要

相似文献