Composition of Languages, Models, and Analyses

Talcott, Carolyn; Ananieva, Sofia; Bae, Kyungmin; Combemale, Benoit; Heinrich, Robert; Hills, Mark; Khakpour, Narges; Reussner, Ralf; Rumpe, Bernhard; Scandurra, Patrizia; Vangheluwe, Hans

Cham, Switzerland : Springer (2021)
Contribution to a book

In: Composing model-based analysis tools / Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler editors
Page(s)/Article-Nr.: 45-70


  • Department of Computer Science [120000]
  • Chair of Computer Science 3 (Software Engineering) [121510]