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

by Stefan Berghofer
Venue:PHD THESIS, INSTITUT FÜR INFORMATIK
Citations:10 - 2 self