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