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

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