Counterexample-guided equivalence checking

Simple item page
dc.contributor.advisorSorav, Bansal
dc.contributor.authorShubhani
dc.date.accessioned2023-03-16
dc.date.accessioned2024-10-29T09:56:07Z
dc.date.issued2023
dc.identifier.urihttp://10.17.50.146:4000/handle/123456789/43
dc.relation.ispartofseriesTH7122
dc.subjectCorrelation algorithm
dc.titleCounterexample-guided equivalence checking
dc.typeThesis

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
TH-7122.pdf
Size:
2.06 MB
Format:
Adobe Portable Document Format
Download

Collections

Amar Nath and Shashi Khosla School of Information Technology