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
Document Type
Article
Year published
2025
Published
in Formal Aspects Comput.
Volume: 37, Issue: 1, Pages: 8:1-8:23
Indexing
Publication Identifiers
Dblp: journals/fac/DongolDHHM0000V25
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.