Machine code programs are predicates too (1994)

by Theodore S. Norvell
Venue:Sixth Refinement Workshop
Citations:12 - 2 self