Establishing a refinement relation between binaries and abstract code.

Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle

Browse the full MEMOCODE paper archive.