Publicações

Case Studies Of Development Of Verified Programs With Dafny For Accessibility Assessment

AuthID
P-00Y-YCP

Author(s)

Faria, JP

Abreu, R

Editor(es)

Hojjat,H;Ábrahám,E

Tipo de Documento

Proceedings Paper

Year published

2023

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 14155 LNCS, Páginas: 25-39 (14)

Conference

10Th Ipm International Conference on Fundamentals of Software Engineering, Fsen 2023, Date: 4 May 2023 through 5 May 2023, Location: Tehran

Indexing

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-031-42441-0_3

SCOPUS: 2-s2.0-85171550319

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Case Studies Of Development Of Verified Programs With Dafny For Accessibility Assessment

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Case Studies Of Development Of Verified Programs With Dafny For Accessibility Assessment

Links Úteis

Ajuda