TY  - THES
A1  - Huong, Dinh Thi Thanh
T1  - Correctness proofs and probabilistic tests for constructive specifications and functional programs
Y1  - 2001
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/18655
ER  -