共 36 条
[1]
AVERICK BM, 1991, ANLMCSTM150 TECH REP
[2]
AVERICK BM, 1991, ANLMCSTM157 TECH REP
[4]
Buckley A.G., 1989, CS3 DALH U COMP SCI
[5]
ALGORITHM-709 - TESTING ALGORITHM IMPLEMENTATIONS
[J].
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE,
1992, 18 (04)
:375-391
[6]
BUS JCP, 1977, PROPOSAL CLASSIFICAT
[7]
CONN AR, 1990, COMPUTING METHODS IN APPLIED SCIENCES AND ENGINEERING, P42
[9]
CONN AR, 1992, FUNDP9215 TECH REP
[10]
Conn AR, 1992, SPRINGER SERIES COMP, V17