Proof-Directed De-compilation of Low-Level Code.

Shin-ya Katsumata, Atsushi Ohori

Browse the full ESOP paper archive.