ProfileOfResearchers

Publications
Researchers
Institutions

0
Sign In
- Federated Authentication (Click on the image)
  
  Local Sign In Password Recovery Register

Alexandre Almeida de Abreu Filho

AuthID: R-00M-0RC

Publications
Confirmed
To Validate

Document Source:

Document Type:

Year Start - End:

-

Order:

Results:

Confirmed Publications: 1

1

TITLE: Exploring Automatic Specification Repair in Dafny Programs
AUTHORS: Abreu, Alexandre ; Macedo, Nuno ; Mendes, Alexandra ;
PUBLISHED: 2023, SOURCE: 38th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS, ASEW, VOLUME: 6605

INDEXED IN:

Scopus

WOS

DBLP

Unpaywall

IN MY:

Publication Export Settings

BibTex EndNote APA CSV PDF

Export Preview

Publication Print Settings

HTML PDF

Print Preview

Select Source

This publication has:

2 records from ISI
2 records from SCOPUS
2 records from DBLP
2 records from Unpaywall
2 records from Openlibrary
2 records from Handle
2 records from DataCite

Please select which records must be used by Authenticus!

Preview Publications

footer slogan

Useful Links

About Autenticus
Our Team
Algorithm
Changelog

Get Help

FAQ
Video
Contact
support@authenticus.pt

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service