| Original language | English |
|---|---|
| Place of Publication | Archive of Formal Proofs |
| Publication status | Published - 2017 |
Abstract soundness
Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel
Research output: Online publication or Non-textual form › Online publication or Website › Academic