Publicações

Leveraging Large Language Models to Boost Dafny's Developers Productivity

AuthID
P-00Z-X71

Author(s)

Silva, A

Mendes, A

Ferreira, JF

Editor(es)

Plat,N;Gnesi,S;Furia,CA;Lopes,A

Tipo de Documento

Proceedings Paper

Year published

2024

Publicado

in PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024 in FormaliSE@ICSE

Páginas: 138-142 (5)

Conference

Ieee/Acm 12Th International Conference on Formal Methods in Software Engineering (Formalise), Date: APR 14-15, 2024, Location: Lisbon, PORTUGAL

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/1045729

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/3644033.3644374

DBLP: conf/icse-formalise/SilvaM024

SCOPUS: 2-s2.0-85196357037

Wos: WOS:001244891700014

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Leveraging Large Language Models to Boost Dafny's Developers Productivity

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Leveraging Large Language Models to Boost Dafny's Developers Productivity

Links Úteis

Ajuda