Designing Arithmetic Circuits by Refinement in Ruby (1992)

Cached

Download Links

by Geraint Jones , Mary Sheeran
Venue:In Proc. Second International Conference on Mathematics of Program Construction, Lecture Notes in Computer Science
Citations:25 - 0 self