Machine code programs are predicates too (1994)

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