Complementing Verification of Highly Configurable Design with Formal Techniques Author(s): Manik Tyagi, Deepak Jindal Location: India Year: 2015 Type: Poster Format: pptx Download
