Abstract
Bruns, N; Herdt, V; Drechsler, R
Bruns, N (通讯作者),Univ Bremen, Inst Comp Sci, Bremen, Germany.
PROCEEDINGS OF THE 2022 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2022; ():