Search

Einar Broch Johnsen

Einar Broch Johnsen

Home
Talks
Publications
Recent All
Projects
Sirius
Service
Courses
Contact

Light Dark Automatic

Denotational semantics

Denotational Semantics for Symbolic Execution

Proc. ICTAC 2023. LNCS 14446 Springer 2023.

Erik Voogd, Åsmund Aqissiaq Arild Kløvstad, Einar Broch Johnsen

Preprint Cite DOI Github Artifact

© 2023 Einar Broch Johnsen. This work is licensed under CC BY NC ND 4.0

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite