Author

João F. Ferreira

Observed name: Ferreira, João F.

Institutions: Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, University of Lisbon, Instituto Superior Técnico

Observed institutions: Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, University of Lisbon, Instituto Superior Técnico

OpenAlex ID: A5160459051

VerusWeave: A Benchmark for Proof Repair in Concurrent Verus Programs

2026 · Ribeiro, Pedro, Afonso, Martim, et al. · arXiv (Cornell University)

Works count: 1

Citation count:

H-index:

I10-index: