Personensuche
X
?
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science ,
5
Knowledge-of-Own-Factivity, the Definition of Surprise, and..:
, In:
?
9
Software Engineering and Formal Methods. SEFM 2022 Collocat..
Lecture Notes in Computer Science, 13765
?
10
Software Engineering and Formal Methods. SEFM 2021 Collocat..
Lecture Notes in Computer Science, 13230