Proving Newtonian Arbiters Correct, Almost Surely (1996)

by Ian M. Mitchell
Venue:In Proceedings of the Third Workshop on Designing Correct Circuits, Bastad
Citations:16 - 9 self