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

2024

Publicado

in Formal Aspects of Computing, ISSN: 0934-5043

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

Indexing

Crossref^®6

Google Scholar^®

Publication Identifiers

DOI: 10.1145/3670795

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