Poster: Formally Verified Binary Lifting to P-Code

Nico Naus, Freek Verbeek, Sagar Atla, Binoy Ravindran

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Fingerprint

Dive into the research topics of 'Poster: Formally Verified Binary Lifting to P-Code'. Together they form a unique fingerprint.

Keyphrases

Computer Science