Editorial

Annabelle McIver^*, Maurice H. ter Beek

^*Corresponding author for this work

Research output: Contribution to journal › Editorial

Access to Document

@article{a8dd604862884b8685b87b339b559e95,

title = "Editorial",

author = "Annabelle McIver and Beek, {Maurice H. ter}",

year = "2021",

month = aug,

doi = "10.1007/s00165-021-00559-y",

language = "English",

volume = "33",

pages = "459--460",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Springer, Springer Nature",

number = "4-5",

}

TY - JOUR

T1 - Editorial

AU - McIver, Annabelle

AU - Beek, Maurice H. ter

PY - 2021/8

Y1 - 2021/8

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

U2 - 10.1007/s00165-021-00559-y

DO - 10.1007/s00165-021-00559-y

M3 - Editorial

AN - SCOPUS:85114382059

SN - 0934-5043

VL - 33

SP - 459

EP - 460

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 4-5

ER -