Case Study: Low-Power Verification Success Depends on Positive Pessimism Author(s): John Decker Location: United States Year: 2011 Type: Paper Format: pdf Download
