Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
Additional information
Authors
Sharygina N.,
Otoni R. B.,
Blicha M.,
Eugster P. T.,
Hyvärinen A.
Type
Article in conference proceedings
Year
2021
Language
English
Meeting name
58th DAC 2021
Meeting place
San Francisco, CA, USA
Meeting date
December 5-9, 2021
