Go to:
Logótipo
Você está em: Start > Publications > View > Lecture Notes in Computer Science
Map of Premises
Principal
Publication

Lecture Notes in Computer Science

Title
Lecture Notes in Computer Science
Type
International Conference Proceedings Book
Year
2025
Conference International
11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025
Västerås, 7 April 2025 through 8 April 2025
Other information
Language: English
Type (Professor's evaluation): Scientific
ISBN: 978-303187053-8
Electronic ISBN: 9783031870545
Vol.: 15593 LNCS
Documents
We could not find any documents associated to the publication.
Publications included
Automatic Generation of Loop Invariants in Dafny with Large Language ModelsImported from Authenticus
Article in International Conference Proceedings Book
João Pascoal Faria (Author) (FEUP); Trigo, E (Author) (Other); Rui Abreu (Author) (FEUP)
2025
Indexing
Recommend this page Top
Copyright 1996-2025 © Faculdade de Medicina Dentária da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z
Page created on: 2025-07-23 at 20:15:23 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book