Logical Frameworks-猫眼课题宝

逻辑框架

DOI：

10.1016/b978-044450813-3/50019-9

发表时间：

2001

期刊：

First International Conference on Security and Privacy for Emerging Areas in Communications Networks (SECURECOMM'05)

影响因子：

--

通讯作者：

中科院分区：

--

文献类型：

--

作者：

F. Pfenning