Quantification of Formal Properties for Productive Automotive Microcontroller Verification Author(s): Holger Busch Location: United States Year: 2013 Type: Presentation Format: pdf Download
