Você está em: Start > Publications > View > Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Map of Premises
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Title
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Type
International Conference Proceedings Book
Year
2023
Conference International
10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023
Tehran, 4 May 2023 through 5 May 2023
Other information
Language:
English
Type (Professor's evaluation):
Scientific
ISBN:
978-303142440-3
Electronic ISBN:
9783031424410
Vol.:
14155 LNCS
Documents
We could not find any documents associated to the publication.
Publications included
Case Studies of Development of Verified Programs with Dafny for Accessibility AssessmentImported from Authenticus
Article in International Conference Proceedings Book
Faria, JP (Author) (Other); Abreu, R (Author) (Other)
2023
Case Studies of Development of Verified Programs with Dafny for Accessibility AssessmentImported from Authenticus
Article in International Conference Proceedings Book
João Pascoal Faria (Author) (FEUP); Rui Abreu (Author) (FEUP)
2023
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 00:52:34 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book
Page created on: 2025-07-23 at 00:52:34 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book