IDR - IIT Kharagpur

Inductive Reasoning in formal Verification of Hardware

Inductive Reasoning in formal Verification of Hardware

 

Recent Submissions