Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
FAACS 2022
Date
Sep 19, 2022 — Sep 20, 2022
Event
6th Intl. Workshop on Formal Approaches for Advanced Computing System (FAACS 2022)
Location
Prague, Czech Republic
Service
Einar Broch Johnsen
Professor
Cite
×