Publications

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(s)

D'Amorim,M

Document Type

Proceedings Paper

Year published

2024

Published

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

Pages: 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
Sources

Publication Identifiers

DOI: 10.1145/3663529.3663814

Scopus: 2-s2.0-85199084104

Wos: WOS:001273423600082

Export Publication Metadata

Marked List

Add to Marked List

Info

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

COQPYT: Proof Navigation in Python in the Era of Llms

Useful Links

Get Help

Federated Authentication (Click on the image)

COQPYT: Proof Navigation in Python in the Era of Llms

Useful Links

Get Help