search result

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
Cover von Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Lessons for Interactive Theorem Proving Researchers from a Survey of Coq Users

Author: Palmskog, Karl; Serebrenik, Alexander; Zimmermann, Theo
Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0