João Carlos Pascoal Faria
AuthID: R-000-6WK
1
TÃTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: João Pascoal Faria; Emanuel Trigo; Rui Abreu;
PUBLICAÇÃO: 2025, FONTE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Lecture Notes in Computer Science, VOLUME: 15593 LNCS
AUTORES: João Pascoal Faria; Emanuel Trigo; Rui Abreu;
PUBLICAÇÃO: 2025, FONTE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Lecture Notes in Computer Science, VOLUME: 15593 LNCS
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef