On Formal Methods Thinking in Computer Science Education

AuthID
P-018-AB2
10
Author(s)
Dongol, B
·
Dubois, C
·
Hallerstede, S
·
Hehner, ECR
·
Morgan, C
·
Müller, P
·
Ribeiro, L
·
Smith, G
·
de Vink, EP
Tipo de Documento
Article
Year published
2025
Publicado
in Formal Aspects Comput.
Volume: 37, Número: 1, Páginas: 8:1-8:23
Indexing
Publication Identifiers
DBLP: journals/fac/DongolDHHM0000V25
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.