Abstract soundness

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Research output: Online publication or Non-textual formOnline publication or WebsiteAcademic

Original languageEnglish
Place of PublicationArchive of Formal Proofs
Publication statusPublished - 2017

Cite this