Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Knoop, J. (2009). From Trust to Proof - Beyond Verifying Functional Program Properties. Informatik-Kolloquium, FernUniversität Hagen, Fakultät für Mathematik und Informatik, EU. http://hdl.handle.net/20.500.12708/84889