Proving Properties of Assembly Language Programs

Malcolm C. Newey. Proving Properties of Assembly Language Programs. In IFIP Congress. pages 795-799, 1977.

Abstract

Abstract is missing.