Research output

  1. From definitional interpreter to symbolic executor

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  2. Compositional soundness proofs of abstract interpreters

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

View all (7) »

ID: 152517