Counterexample-guided equivalence checking

No Thumbnail Available

Files

TH-7122.pdf (2.06 MB)

Date

2023

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Correlation algorithm

Citation

URI

http://10.17.50.146:4000/handle/123456789/43

Collections

Amar Nath and Shashi Khosla School of Information Technology

Endorsement

Review

Supplemented By

Referenced By