Alexandre Abreu 个人学术档案

202320242 1

开放获取的出版物数量

2 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

Alexandre Abreu

在 up.pt 的电子邮件经过验证


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Exploring Automatic Specification Repair in Dafny Programs A Abreu, N Macedo, A Mendes 2023 38th IEEE/ACM International Conference on Automated Software …, 2023	3	2023
Automatic Specification Repair in Contract Programming AA de Abreu Filho		2023

系统目前无法执行此操作，请稍后再试。

文章 1–2

每年引用数