| 标题 |
 On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs 二进制程序堆栈模型检测缓冲区溢出的途径
相关领域
计算机科学
缓冲区溢出
堆栈（抽象数据类型）
路径（计算）
二进制数
并行计算
缓冲器（光纤）
分布式计算
程序设计语言
算术
数学
电信
|
| 备注 |
能不能帮忙找到无水印的版本，谢谢
|
| 网址 | |
| DOI | |
| 其它 |
期刊： 作者：Luís Ferreirinha; Ibéria Medeiros 出版日期：2024-01-01 |
| 求助人 | |
| 下载 | |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
浮游
zcl
Tourist
不配.
研究生end
Criminology34
小青椒
昏睡的蟠桃
chenqiumu
彭于彦祖
小杭76
嘻嘻哈哈
tuanheqi
GingerF
eric888
Zx_1993
pcr163
wlscj
Bio
梦里花落声
镓氧锌钇铀
寒江雪
风中冰香
Li
尉迟希望
LaTeXer
子车茗
修仙中
皖公网安备34019202002308
