Correctness proofs and probabilistic tests for constructive specifications and functional programs
Author details: | Dinh Thi Thanh Huong |
---|---|
Publication type: | Doctoral Thesis |
Language: | English |
Year of first publication: | 2001 |
Publication year: | 2001 |
Release date: | 2017/03/24 |
Number of pages: | 154 S. |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
Institution name at the time of the publication: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik |