Directed Proof Generation for Machine Code (2010)

by A Thakur, J Lim, A Lal, A Burton, E Driscoll, M Elder, T Andersen, T Reps
Venue:In International Conference on Computer Aided Verification