A Verified Compiler for a Structured Assembly Language (1991)

Cached

Download Links

by Paul Curzon , Paul Curzon
Venue:In proceedings of the 1991 international workshop on the HOL theorem Proving System and its applications. IEEE Computer
Citations:6 - 2 self