Sign-off with Bounded Formal Verification Proofs

Author(s):
NAMDO KIM, JUNHYUK PARK, HARGOVIND SINGH, and VIGYAN SINGHAL
Location:
United States
Year:
2014
Type:
Presentation
Format:
pdf