Go to:
Logótipo
Você está em: Start > Publications > View > Case studies of development of verified programs with Dafny for accessibility assessment
Map of Premises
Principal
Publication

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 Scientific Journal
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
Other information
Authenticus ID: P-00Y-2Z0
Language: English
Type (Professor's evaluation): Scientific
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)
Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment (2023)
Article in International Conference Proceedings Book
Faria, JP; Abreu, R
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-08-10 at 03:12:28 | Privacy Policy | Personal Data Protection Policy | Whistleblowing | Electronic Yellow Book