Publicações

COQPYT: Proof Navigation in Python in the Era of Llms

AuthID
P-012-MXD

Author(s)

Carrott, P

Saavedra, N

Thompson, K

Lerner, S

Ferreira, JF

First, E

Editor(es)

D'Amorim,M

Tipo de Documento

Proceedings Paper

Year published

2024

Publicado

in COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024

Páginas: 637-641 (5)

Conference

32Nd Acm International Conference on the Foundations of Software Engineering (Fse), Date: JUL 15-19, 2024, Location: Porto de Galinhas, BRAZIL

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/3663529.3663814

SCOPUS: 2-s2.0-85199084104

Wos: WOS:001273423600082

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

COQPYT: Proof Navigation in Python in the Era of Llms

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

COQPYT: Proof Navigation in Python in the Era of Llms

Links Úteis

Ajuda