Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Operational Semantics
Correct and Complete Symbolic Execution for Free
Proc. IFM 2024. LNCS 15234. Springer 2024. To appear.
Erik Voogd
,
Einar Broch Johnsen
,
Åsmund Aqissiaq Arild Kløvstad
,
Jurriaan Rot
,
Alexandra Silva
Preprint
Cite
×