Proofs, Programs and Executable Specifications in Higher Order Logic (2003)

by Stefan Berghofer
Venue:PHD THESIS, INSTITUT FÜR INFORMATIK