Editorial

DOI10.1007/S00165-021-00565-0OpenAlexW4200175259MaRDI QIDQ5970749

Heike Wehrheim, J. Cabot, Eerke A. Boiten

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25)

This page was built for publication: Editorial