Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Tags
Service
Nov 13, 2023
digital twins
Sep 29, 2023
Symbolic execution
Sep 3, 2023
ABS
Sep 1, 2023
Cloud
Sep 1, 2023
Talks
May 2, 2023
Keynotes
Jun 20, 2022
Smol
Jun 1, 2022
Deductive verification
Jul 10, 2019
Maude
May 13, 2019
Multicore
May 13, 2019
SOS
May 13, 2019
LAGC
Sep 22, 2017
Cite
×