Program Verification and the Church-Rosser Theorem
Presented as part of the
2001 HCSS conference
.
License:
Creative Commons 2.5
Peter Vincent Homeier
Other available formats:
Program Verification and the Church-Rosser Theorem
Switch to normal viewer
Switch to experimental viewer
