Você está em: Start > Publications > View > Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
Map of Premises
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
Title
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
Type
Article in International Conference Proceedings Book
Year
2023
Authors
Faria, JP
(Author)
Other
The person does not belong to the institution.
The person does not belong to the institution.
The person does not belong to the institution.
Without AUTHENTICUS
Without ORCID
Abreu, R
(Author)
Other
The person does not belong to the institution.
The person does not belong to the institution.
The person does not belong to the institution.
Without AUTHENTICUS
Without ORCID
Conference proceedings International
Title:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Search for Conference Proceedings Publications
Pages: 25-39
10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023
Tehran, 4 May 2023 through 5 May 2023
Other information
Documents
We could not find any documents associated to the publication.
Related Publications
Of the same authors
Proceedings of the 3rd IPLeiria's International Health Congress Abstracts (2016)
Article in International Scientific Journal
Tomás, CC; Oliveira, E; Sousa, D; Uba Chupel, M; Furtado, G; Rocha, C; Lopes C; Ferreira, P; Alves, C; Gisin, S; Catarino, E; Carvalho, N; Coucelo, T; Bonfim, L; Silva, C; Franco, D; González, JA; Jardim, HG; Silva, R; Baixinho, CL...(mais 1673 authors)
Article in International Scientific Journal
Tomás, CC; Oliveira, E; Sousa, D; Uba Chupel, M; Furtado, G; Rocha, C; Lopes C; Ferreira, P; Alves, C; Gisin, S; Catarino, E; Carvalho, N; Coucelo, T; Bonfim, L; Silva, C; Franco, D; González, JA; Jardim, HG; Silva, R; Baixinho, CL...(mais 1673 authors)
Case studies of development of verified programs with Dafny for accessibility assessment (2023)
Article in International Scientific Journal
Faria, JP; Abreu, R
Article in International Scientific Journal
Faria, JP; Abreu, R
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-08-07 at 19:59:56 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book
Page created on: 2025-08-07 at 19:59:56 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book