关注
Nicolas Manini
标题
引用次数
引用次数
年份
Online Simulation Reduction.
P Ganty, N Manini, F Ranzato
CoRR, 2022
12022
Deciding Program Properties via Complete Abstractions on Bounded Domains
R Bruni, R Gori, N Manini
International Static Analysis Symposium, 175-200, 2022
2022
Deciding program properties via complete abstractions on bounded domains
N Manini
University of Pisa, 2021
2021
系统目前无法执行此操作,请稍后再试。
文章 1–3