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

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

Document Versions

Proofs, Programs and Executable Specifications in Higher Order Logic –Stefan Berghofer — 2003
Proofs, Programs and Executable Specifications in Higher Order Logic –Stefan Berghofer — 2003 — PHD THESIS, INSTITUT FÜR INFORMATIK