Editorial
From MaRDI portal
Publication:5970749
DOI10.1007/s00165-021-00565-0MaRDI QIDQ5970749
Heike Wehrheim, Eerke A. Boiten, J. Cabot
Publication date: 11 January 2022
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-021-00565-0
00B25: Proceedings of conferences of miscellaneous specific interest