Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
Informazioni aggiuntive
Autori
Sharygina N.,
Otoni R. B.,
Blicha M.,
Eugster P. T.,
Hyvärinen A.
Tipo
Contributo in atti di convegno
Anno
2021
Lingua
Inglese
Nome convegno
58th DAC 2021
Luogo convegno
San Francisco, CA, USA
Data convegno
December 5-9, 2021
