Reading Length
Home
Speed Tests
Login
Lennart Beringer
Identifiers
Open Library
OL7345759A
Top Subjects
Logics and Meanings of Programs (1)
Computer science (1)
Artificial intelligence (1)
Data protection (1)
Artificial Intelligence (incl. Robotics) (1)
Mathematical Logic and Formal Languages (1)
Computation by Abstract Devices (1)
Books by Lennart Beringer
Total count: 2
Interactive Theorem Proving
Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings
Springer Berlin Heidelberg
2012-01-01
Program Logics for Certified Compilers
Cambridge University Press
2014-01-01
