TY  - THES
A1  - Huong, Dinh Thi Thanh
T1  - Correctness proofs and probabilistic tests for constructive specifications and functional programs
Y1  - 2001
ER  -