Carolyn L. Talcott, Sofia Ananieva, Kyungmin Bae, Benoît Combemale, Robert Heinrich, Mark Hills 0001, Narges Khakpour, Ralf H. Reussner, Bernhard Rumpe, Patrizia Scandurra, Hans Vangheluwe, Francisco Durán 0001, Steffen Zschaler. Foundations. In Robert Heinrich, Francisco Durán 0001, Carolyn L. Talcott, Steffen Zschaler, editors, Composing Model-Based Analysis Tools. pages 9-37, Springer, 2021. [doi]
Abstract is missing.