NobleBlocks
Public

Machine Code Programs are Predicates Too

Published in Workshops in computing • Jan 1, 1994
NobleIDark:/48914/w1/20260524/F1F6BABCRecord on NobleID
Authors:
Theodore S. Norvell

Subject

Correctness
Programming language
Computer science
Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!