关注
Luís Ferreirinha
Luís Ferreirinha
MSc Student, LASIGE, University of Lisbon
在 fc.ul.pt 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
On the Path to Buffer Overflow Detection by Model Checking the Stack of Binary Programs.
L Ferreirinha, I Medeiros
ENASE, 719-726, 2024
12024
系统目前无法执行此操作，请稍后再试。