Denotational Semantics for Symbolic Execution.

Erik Voogd, smund Aqissiaq Arild Klvstad, Einar Broch Johnsen

Browse the full ICTAC paper archive.