search result

Cover von Domain-Specific Symbolic Compilation

Domain-Specific Symbolic Compilation

Year: 2017
Media group: LIPIcs
Cover von Ornaments for Proof Reuse in Coq

Ornaments for Proof Reuse in Coq

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0