Does Every Computer Scientist Need to Know Formal Methods?

AuthID
P-017-VFT
10
Author(s)
Broy, M
·
Brucker, AD
·
Fantechi, A
·
Gleirscher, M
·
Havelund, K
·
Kuppe, MA
·
Platzer, A
·
Ringert, JO
·
Sullivan, A
Tipo de Documento
Article
Year published
2025
Publicado
in Formal Aspects Comput., ISSN: 0934-5043
Volume: 37, Número: 1, Páginas: 6:1-6:17
Indexing
Publication Identifiers
DBLP: journals/fac/BroyBFGHKMPRS25
SCOPUS: 2-s2.0-86000538692
Source Identifiers
ISSN: 0934-5043
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.