Publicações

AuthID
P-018-AB2

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

Lista Marked

Info

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

Links Úteis