Editorial

Erik de Vink^*, Ana Cavalcanti

^*Corresponding author for this work

Research output: Contribution to journal › Editorial › peer-review

Access to Document

TY - JOUR

T1 - Editorial

AU - de Vink, Erik

AU - Cavalcanti, Ana

PY - 2021/1

Y1 - 2021/1

UR - http://www.scopus.com/inward/record.url?scp=85099864523&partnerID=8YFLogxK

U2 - 10.1007/s00165-020-00522-3

DO - 10.1007/s00165-020-00522-3

M3 - Editorial

AN - SCOPUS:85099864523

SN - 0934-5043

VL - 33

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 1

ER -