Formal verification of machine-code programs (2009)

by Magnus O. Myreen
Citations:7 - 4 self