Skip to content
Vinony

Lennart Beringer

No biography available.

Works (3)

Cover of Program Logics for Certified Compilers
Program Logics for Certified Compilers
Cover of Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci
Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci
Cover of Interactive Theorem Proving
Interactive Theorem Proving