Mechanically Verified Hardware Implementing an 8-Bit Parallel IO Byzantine Agreement Processor (1992)

by J Strother Moore
Citations:9 - 5 self