DDD-FM9001: Derivation of a Verified Microprocessor (1994)

by Bhaskar Bose
Citations:21 - 6 self