Machine Code Programs are Predicates Too - researchr publication

researchr

You are not signed in
Sign in
Sign up

Theodore S. Norvell. Machine Code Programs are Predicates Too. In David Till, editor, 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994. Workshops in Computing, pages 188-204, Springer, 1994. [doi]

Abstract is missing.

runs on WebDSL