Abstract soundness

Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel

Research output: Web publication or Non-textual formWeb publication or WebsiteAcademic

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

Cite this