by Freek Wiedijk , Oded Maler , Amir Pnueli
No reviews yet. Be the first!
The Seventeen Provers of the World
Types for Proofs and Programs
Logics and Type Systems in Theory and Pr...
Hybrid systems