共 13 条
[1]
ANDERSON B, 1975, COGNITIVE PSYCHOL
[2]
[Anonymous], 1969, COMMUN ACM
[3]
Boehm B. W., 1976, 2nd International Conference on Software Engineering, P592
[4]
BRAUER W, 1980, LECTURE NOTES COMPUT, V84
[5]
Cheriton D. R., 1976, P 1976 ANN C P 1976 ANN C, P362
[6]
DARLINGTON JL, 1980, GMDIST180 INT REP
[8]
DZIDA W, 1980, UNPUB GMD IST MANUSC
[10]
FORMAL VERIFICATION OF PARALLEL PROGRAMS
[J].
COMMUNICATIONS OF THE ACM,
1976, 19 (07)
:371-384