Lennart Beringer

No bio available. Add one in Open Library.

Books by Lennart Beringer (50 max)

+ shelf+ list

Program Logics for Certified Compilers

2014

Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy

+ shelf+ list

Interactive Theorem Proving Lecture Notes in Computer Science Theoretical Computer Sci

2012

Lennart Beringer

+ shelf+ list

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

2012

Lennart Beringer