Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Publications
Search
Statistics
Automatic Generation of Loop Invariants in Dafny with Large Language Models
AuthID
P-018-G5G
3
Author(s)
Faria, JP
·
Trigo, E
·
Abreu, R
2
Editor(s)
Hojjat,H;Caltais,G
Document Type
Proceedings Paper
Year published
2025
Published
in
FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2025
in
Lecture Notes in Computer Science,
ISSN: 0302-9743
Volume: 15593, Pages: 138-154 (17)
Conference
11Th International Conference on Fundamentals of Software Engineering-Fsen,
Date:
APR 07-08, 2025,
Location:
Vasteras, SWEDEN
Indexing
Wos
®
Scopus
®
Dblp
®
/en/publications/view/1327280
Crossref
®
Google Scholar
®
Metadata
Sources
Publication Identifiers
DOI
:
10.1007/978-3-031-87054-5_10
Dblp
: conf/fsen/FariaTA25
Scopus
: 2-s2.0-105001280898
Wos
: WOS:001525057300010
Source Identifiers
ISSN
: 0302-9743
Export Publication Metadata
Export
×
Publication Export Settings
BibTex
EndNote
APA
Export Preview
Marked List
Add to Marked List
Info
At this moment we don't have any links to full text documens.
×
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
© 2025 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service