Do You Know What Your Assertions Are up To? A New Approach to Safety Critical Verification Author(s): Lee C. Smith Location: United States Year: 2016 Type: Presentation Format: pdf Download
