search result

Cover von Proof Repair Infrastructure for Supervised Models

Proof Repair Infrastructure for Supervised Models

Building a Large Proof Repair Dataset
Year: 2023
Media group: LIPIcs
Cover von Ornaments for Proof Reuse in Coq

Ornaments for Proof Reuse in Coq

Year: 2019
Media group: LIPIcs
Cover von Correctly Compiling Proofs About Programs Without Proving Compilers Correct

Correctly Compiling Proofs About Programs Without Proving Compilers Correct

Year: 2024
Media group: LIPIcs
Cover von QED at Large
A Survey of Engineering of Formally Verified Software
Search for this author
Year: 2019
Publisher: Boston, Now Publishers
Series: Foundations and Trends in Programming Languages; 5. 2019, 2/3
Media group: MONOGRAPHIE
Cover von QED at Large; 2/2
A Survey of Engineering of Formally Verified Software
Search for this author
Year: 2019
Publisher: Boston, Now Publishers
Count: 2/2
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0