Efficient Formal strategies to verify the robustness of the design Author(s): Sakthivel Ramaiah Location: India Year: 2022 Type: Presentation Format: pptx Download