Mechanized Certification of Secure Hardware Designs (2007)

by Sandip Ray , Warren A. Hunt, Jr.
Citations:1 - 0 self