Logical Characterization of Coherent Uninterpreted ProgramsDownload PDFOpen Website

Hari Govind V. K., Sharon Shoham, Arie Gurfinkel

2021 (modified: 22 Sept 2022)FMCAD 2021Readers: Everyone
0 Replies