I Khlif, MH Kacem, C Eichler, K Drira… - … and Computation: Practice …, 2021 - hal.laas.fr
Modeling and specifying correct software systems is a challenging task that can be
supported by providing appropriate modeling abstractions. This article proposes an …