Editorial

Alessandro Fantechi (Editor), Anne Elisabeth Haxthausen (Editor), Jim Woodcock (Editor)

Research output: Contribution to journal › Editorial

Access to Document

@article{abb77ee899584ecfb1647852672a7bd0,

title = "Editorial",

author = "Alessandro Fantechi and Haxthausen, \{Anne Elisabeth\} and Jim Woodcock",

year = "2021",

doi = "10.1007/s00165-021-00568-x",

language = "English",

volume = "33",

pages = "923–924",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery",

}