Publicações

AuthID
P-017-VFT

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 OF COMPUTING, ISSN: 0934-5043

Volume: 37, Número: 1, Páginas: 6:1-6:17 (17)

Indexing

Wos^®

Scopus^®

Crossref^®6

Google Scholar^®

Publication Identifiers

DOI: 10.1145/3670795

DBLP: journals/fac/BroyBFGHKMPRS25

SCOPUS: 2-s2.0-86000538692

Wos: WOS:001460070800002

Source Identifiers

ISSN: 0934-5043

Export Publication Metadata

Lista Marked

Info

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

Links Úteis