?
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science ,
2
Executive Function and Intelligent Goal-Directed Behavior: ..:
, In:
?
Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops; Lecture Notes in Computer Science ,
3
A BRDL-Based Framework for Motivators and Emotions:
, In:
?
4
Formal Methods for an Informal World: ICTAC 2021 Summer Sch..
Lecture Notes in Computer Science, 13490
?
Formal Methods for an Informal World; Lecture Notes in Computer Science ,
5
Modelling and Analysing Cognition and Interaction:
, In:
?
From Data to Models and Back; Lecture Notes in Computer Science ,
6
Ten Years of DataMod: The Synergy of Data-Driven and Model-..:
, In:
?
From Data to Models and Back; Lecture Notes in Computer Science ,
7
A Web-Based Tool for Collaborative Modelling and Analysis i..:
, In:
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
8
Correction to: Formal Methods for Software Engineering:
, In:
?
Lecture Notes in Computer Science; Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops ,
9
In Silico Simulations and Analysis of Human Phonological Wo..:
, In:
?
10
Software Engineering and Formal Methods. SEFM 2021 Collocat..
Lecture Notes in Computer Science, 13230
?
11
Formal Methods for Software Engineering: Languages, Methods..
Texts in Theoretical Computer Science. An EATCS Series
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
12
Logics for Software Engineering:
, In:
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
13
Formal Methods for Human-Computer Interaction:
, In:
?
Texts in Theoretical Computer Science. An EATCS Series; Formal Methods for Software Engineering ,
14
The Process Algebra CSP:
, In:
?
Communications in Computer and Information Science; Formal Methods – Fun for Everybody ,
15