A Programming Logic for a Verified Structured Assembly Language.

Paul Curzon

Browse the full LPAR paper archive.