Publications

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

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.

Useful Links