Inductive Reasoning in formal Verification of Hardware http://127.0.0.1/xmlui/handle/123456789/7671 2026-04-17T16:19:35Z 2026-04-17T16:19:35Z Inductive Reasoning in formal Verification of Hardware Chakrabarti, Indrajit http://127.0.0.1/xmlui/handle/123456789/7672 2017-07-10T11:20:48Z 1995-10-01T00:00:00Z Inductive Reasoning in formal Verification of Hardware Chakrabarti, Indrajit 1995-10-01T00:00:00Z