Alexandre Abreu

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Provably Correct

Automatic Programming

Top Venues

Publications

Alexandre Abreu, Nuno Macedo, Alexandra Mendes
Exploring Automatic Specification Repair in Dafny Programs. ASEW (2023)
Tanya Araújo, Alexandre Abreu, Francisco Louçã
The evolution of Complexity co-occurring keywords: bibliometric analysis and network approach. CoRR (2023)