Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput

DOI10.1007/s00165-019-00502-2zbMath1448.68219OpenAlexW2999627722WikidataQ126342350 ScholiaQ126342350MaRDI QIDQ782503

Harald König, Zinovy Diskin, Mark Lawford

Publication date: 27 July 2020

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-019-00502-2

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput